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

/hets/GUI/doc/
H A DWebInterfaceBuildGuide.tex7 \title{How to build the hets web interface}
26 \item inside the WashNGo repository run \verb|make -f Makfile.hets all|
28 \subsection{Compilation of hets.cgi}
51 \verb|make -f Makfile.hets all|\\
57 \subsection{Configuration and Compilation of hets.cgi}
65 compiled into hets.cgi.
67 \paragraph{Note for Uni-Bremen people} The user id with which hets.cgi
68 is running must have permission to write to \verb|/home/www/cofi/hets-tmp/|!
/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 process to compile the current CASL file."
279 (casl-hets
[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 process to compile the current DOL file."
279 (dol-hets
[all...]

Completed in 1106 milliseconds