Searched defs:options (Results 1 - 4 of 4) sorted by relevance

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex15 \section{Issues (with implementation options)}
/hets/utils/el/
H A Dcasl-mode.el270 (defvar casl-hets-options nil
271 "*the additional options for running hets.")
330 "Run hets process with options (from casl-hets-options) to compile the
336 (if casl-hets-options
337 (setq run-option-r casl-hets-options))
347 "Run hets process with -g and other options (from variable casl-hets-options)
H A Ddol-mode.el270 (defvar dol-hets-options nil
271 "*the additional options for running hets.")
330 "Run hets process with options (from dol-hets-options) to compile the
336 (if dol-hets-options
337 (setq run-option-r dol-hets-options))
347 "Run hets process with -g and other options (from variable dol-hets-options)
/hets/CASL/Termination/
H A DAProVE.jar ... aprove/GraphUserInterface/Kefir/TypedOptionsPanels/ aprove/GraphUserInterface/Kefir/img/ aprove/GraphUserInterface/Options/ aprove/GraphUserInterface/Options/OptionsItems/ aprove/GraphUserInterface/Options/OptionsItemsFactories/ aprove/GraphUserInterface ...

Completed in 16 milliseconds