Lines Matching defs:and
11 % the License for the specific language governing rights and limitations
23 \chapter{Command Line and Startup Options}
32 and \notation{-l}
46 i.e., it can be a precompiled file or a source file, and file extensions
52 goal \notation{goal}. \notation{goal} is given in normal Prolog syntax, and has
56 option and is executed
78 structures and may have to be increased for very large applications.
93 the {\eclipse} runtime system and libraries. This option overrides
94 (and renders unnecessary) any setting of the ECLIPSEDIR environment
107 created by the system, which serves as the context for \notation{-f} and
108 \notation{-e} options, and in which interactive toplevel queries are executed.
113 The {\eclipse} system will ignore this argument and everything that follows on
121 \notation{tkeclipse} accepts the same $-$g and $-$l options as
125 the files \notationidx{.tkeclipserc} (for toplevel parameters) and
128 and then in the user's home directory.
141 In either case, the parameters can be modified and saved using the