Searched +defs:hets +defs:program (Results 1 - 2 of 2) sorted by relevance

/hets/utils/el/
H A Dcasl-mode.el8 ;; Contact: hets-users@informatik.uni-bremen.de
23 (define-key keymap "\C-c\C-r" 'casl-run-hets-r)
25 (define-key keymap "\C-c\C-u" 'casl-run-hets-g)
26 (define-key keymap "\C-c\C-c" 'casl-run-hets-g))
268 (defvar hets-program nil)
270 (defvar casl-hets-options nil
271 "*the additional options for running hets.")
273 (defun casl-run-hets (&rest opt)
274 "Run hets proces
[all...]
H A Ddol-mode.el8 ;; Contact: hets-users@informatik.uni-bremen.de
23 (define-key keymap "\C-c\C-r" 'dol-run-hets-r)
25 (define-key keymap "\C-c\C-u" 'dol-run-hets-g)
26 (define-key keymap "\C-c\C-c" 'dol-run-hets-g))
268 (defvar hets-program nil)
270 (defvar dol-hets-options nil
271 "*the additional options for running hets.")
273 (defun dol-run-hets (&rest opt)
274 "Run hets proces
[all...]

Completed in 12 milliseconds