Searched defs:compile (Results 1 - 3 of 3) sorted by relevance

/hets/utils/el/
H A Dcasl-mode.el27 (define-key keymap "\C-c\C-n" 'casl-compile-goto-next-error)
265 (require 'compile)
274 "Run hets process to compile the current CASL file."
302 (compilation-mode "hets-compile")
319 (proc (start-process-shell-command "hets-compile" outbuf
330 "Run hets process with options (from casl-hets-options) to compile the
348 to compile the current CASL file."
382 ;; show the message from hets compile direct on *hets-run* buffer
457 (defun casl-compile-goto-next-error ()
512 ;; Support for compile
[all...]
H A Ddol-mode.el27 (define-key keymap "\C-c\C-n" 'dol-compile-goto-next-error)
265 (require 'compile)
274 "Run hets process to compile the current DOL file."
302 (compilation-mode "hets-compile")
319 (proc (start-process-shell-command "hets-compile" outbuf
330 "Run hets process with options (from dol-hets-options) to compile the
348 to compile the current DOL file."
382 ;; show the message from hets compile direct on *hets-run* buffer
457 (defun dol-compile-goto-next-error ()
512 ;; Support for compile
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 15 milliseconds