Searched refs:command (Results 1 - 11 of 11) sorted by relevance

/hets/GMP/CoLoSS/
H A Dtool.php13 $command = "./coloss.cgi ".$l." -t "."\"".$f."\""; variable
14 $output = shell_exec($command);
/hets/
H A Dvar.mk18 STACK ?= $(shell command -v stack 2> /dev/null)
/hets/Isabelle/export/
H A Dexport_helper.ml72 |liftP _ (State ([],_)) = Failed "Expected command"
287 else Fail "Unexpected command!"
288 |_ => Fail "Expected non-empty command!";
295 else Fail "Unexpected command!"
296 |_ => Fail "Expected non-empty command!";
452 |_ => Fail "Expected non-empty command!";
459 |_ => Fail "Expected non-empty command!";
475 |_ => Fail "Expected non-empty command!") #> pack
H A Dparser.ml173 val not_command = Parse.group (fn () => "non-command token")
175 fun command s = Parse.group (fn () => "command "^s)
178 fun command_with_args s = command s -- Scan.repeat not_command >> op::;
241 command "oops" >> single,
257 command "oops" >> single,
259 command ".." >> single,
260 command "." >> single]) >> op@
1299 val _ = Toplevel.command (Toplevel.exit
/hets/GMP/papers/optInWork/
H A Dllncs.cls533 \leavevmode % TeX command to enter horizontal mode.
828 % LaTeX does not provide a command to enter the authors institute
829 % addresses. The \institute command is defined here.
1011 % definition of the "\spnewtheorem" command.
/hets/GMP/papers/optimizing/
H A Dllncs.cls533 \leavevmode % TeX command to enter horizontal mode.
828 % LaTeX does not provide a command to enter the authors institute
829 % addresses. The \institute command is defined here.
1011 % definition of the "\spnewtheorem" command.
/hets/doc/
H A DUserGuide.tex757 command line option of \Hets. In all other cases \texttt{.xml} files are
1788 theorems have trivial proofs, using the `oops` command. However, if
1916 E-KRHyper's options, run the command
1920 in a terminal. Then enter the command
1925 a long list of all available parameters. You can exit E-KRHyper by the command
1940 Darwin supports a wide range of options, to get an overview of them run the command
H A DUserGuideCommonLogic.tex1425 theorems have trivial proofs, using the `oops` command. However, if
H A Dhs2isa.tex135 %Isabelle and AWE. The application is run by a command that takes as arguments
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 5455 milliseconds