Searched refs:opt (Results 1 - 16 of 16) sorted by relevance

/hets/utils/
H A Dquickcheck48 options opts = unwords ["\""++opt++"\"" | opt<-opts]
51 let opt = head [opt | opt<-opts++[def], isPrefixOf name (drop 1 opt)] in
52 (opt, filter (/=opt) opts)
H A Dquickcheck.lhs50 options opts = unwords ["\""++opt++"\"" | opt<-opts]
53 let opt = head [opt | opt<-opts++[def], isPrefixOf name (drop 1 opt)] in
54 (opt, filter (/=opt) opts)
/hets/utils/nightly/intel-mac/
H A Dcronjob.sh3 export PATH=/home/mac-bkb/bin:/home/mac-bkb/intel/Isabelle/Isabelle/bin:/bin:/usr/bin:/opt/local/bin
/hets/utils/nightly/mac/
H A Dcronjob.sh3 export PATH=/home/pub-bkb/bin:/bin:/usr/bin:/usr/local/bin/:/usr/X11R6/bin:/opt/local/bin:/sw/bin
/hets/utils/nightly/solaris/
H A Dcronjob.sh3 PATH=/local/home/maeder/ghc/bin:/local/home/maeder/gcc/bin:/home/pub-bkb/bin:/opt/csw/bin:/usr/bin/:/usr/ccs/bin
/hets/utils/nightly/pc-solaris/
H A Dcronjob.sh3 PATH=/home/pub-bkb/bin:/home/pub-bkb/pc-solaris/bin:/usr/bin:/opt/csw/bin:/usr/ccs/bin
/hets/utils/el/
H A Dcasl-mode.el273 (defun casl-run-hets (&rest opt)
284 (if opt
285 (dolist (current opt run-option)
329 (defun casl-run-hets-r (&rest opt)
338 (if opt
339 (dolist (current opt option2)
H A Ddol-mode.el273 (defun dol-run-hets (&rest opt)
284 (if opt
285 (dolist (current opt run-option)
329 (defun dol-run-hets-r (&rest opt)
338 (if opt
339 (dolist (current opt option2)
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java242 private static OPTION parseOption(String opt, String err) throws Exception { argument
243 if (opt.equals("xml") || opt.equals("owl")) {
245 } else if (opt.equals("omn")) {
247 } else if (opt.equals("rdf")) {
249 } else if (opt.equals("obo")) {
251 } else if (opt.equals("ttl")) {
254 throw new Exception(err + "unrecognized owl-format: " + opt);
/hets/
H A DMakefile477 .PHONY: all hets-opt hets-optimized hets_server-opt docs jars \
503 %-opt: HC_OPTS += -O
506 hets_server hets_server-opt: HASKELINE_PACKAGE :=
507 hets_server hets_server-opt: GLADE_PACKAGE :=
508 hets_server hets_server-opt: UNI_PACKAGE :=
509 hets_server hets_server-opt: check_server $(derived_sources)
514 hets-opt: check_desktop $(derived_sources)
520 hets-optimized: hets-opt
522 hets_cgi hets_cgi-opt
[all...]
H A Dvar.mk58 SUNRUNPATH = -optl-R/opt/csw/lib
/hets/debian/
H A Drules477 .PHONY: all hets-opt hets-optimized hets_server-opt docs jars \
503 %-opt: HC_OPTS += -O
506 hets_server hets_server-opt: HASKELINE_PACKAGE :=
507 hets_server hets_server-opt: GLADE_PACKAGE :=
508 hets_server hets_server-opt: UNI_PACKAGE :=
509 hets_server hets_server-opt: check_server $(derived_sources)
514 hets-opt: check_desktop $(derived_sources)
520 hets-optimized: hets-opt
522 hets_cgi hets_cgi-opt
[all...]
/hets/utils/debian/auto-package/
H A Dpackage_server200 while getopts ":hias:cr:" opt; do
201 case $opt in
H A Dpackage_trunk200 while getopts ":hias:cr:" opt; do
201 case $opt in
/hets/Isabelle/export/
H A Dexport_helper.ml555 >>> (fn (s,(opt,ns)) =>
556 Hide {what=case opt of
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 87 milliseconds