Lines Matching defs:with
6 % in compliance with the License. You may obtain a copy of the License
40 \chapter{Getting started with {\eclipse}}
48 Please see the installation notes that came with {\eclipse}.
106 with an editor, but any editor that can save plain text files can be used.
110 Extra support for editing {\eclipse} programs with common editors are
111 available. An eclipse mode for the GNU emacs editor is bundled with the
130 This can be changed with the Preference Editor under the Tools menu.
185 From \menu{Query} menu, you can run the query with various analysis tools
187 will run the query with the profiler tool; \menuopt{Port Profile} option
188 will run the query with the port profiler tool.
244 Allows the user to specify a new file that will be opened with the default
265 start with a fresh, empty module.
329 {\tkeclipse} comes with a number of useful tools. Some have been
372 Note that while the inspector window is open, interaction with other
380 to be visualised with the visualisation tools. See the Visualisation manual
452 A number of files containing library predicates are supplied with the