Searched defs:run (Results 1 - 8 of 8) sorted by relevance

/hets/Haskell/test/
H A Drun.sh5 run () function
14 run HOL runisabelle
/hets/CSL/
H A DCSLMode.el87 (runfun 'run-eval)
128 (refresh-specmenu entries 'match 'run-match '("Show match" "Export parameter"))
165 (defun run-match (spec1 spec2 trans)
190 (defun run-eval (spec1 symbolic)
/hets/utils/el/
H A Dcasl-mode.el23 (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))
273 (defun casl-run-hets (&rest opt)
278 (let* ((run-option " ")
280 (outbuf (get-buffer-create "*hets-run*")))
285 (dolist (current opt run-option)
286 (setq run-option (concat run-option current " "))))
287 (setq hets-command (concat casl-hets-program run
[all...]
H A Ddol-mode.el23 (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))
273 (defun dol-run-hets (&rest opt)
278 (let* ((run-option " ")
280 (outbuf (get-buffer-create "*hets-run*")))
285 (dolist (current opt run-option)
286 (setq run-option (concat run-option current " "))))
287 (setq hets-command (concat dol-hets-program run
[all...]
/hets/MMT/
H A Dhets-mmt-standalone.jar ... throws java.lang.Exception String[] args public void run (java.lang.String[]) throws java.lang. ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL/Termination/
H A DAProVE.jar ... 3E" <init> () public static java.lang.String run (java.lang.String, java.lang.String ...

Completed in 41 milliseconds