Searched refs:entries (Results 1 - 8 of 8) sorted by relevance

/hets/CSL/
H A DCSLMode.el84 ((entries (reverse (sort (append (extractspecs) (extractgets)) 'string<)))
96 ; (refresh-specmenu entries menusym runfun runlist)
98 (dolist (item entries)
118 ((entries (reverse (sort (append (extractspecs) (extractgets)) 'string<)))
128 (refresh-specmenu entries 'match 'run-match '("Show match" "Export parameter"))
133 (defun refresh-specmenu (entries menusym runfun runlist)
137 (dolist (item entries)
141 (dolist (item2 entries)
/hets/MMT/
H A Dhets-mmt-standalone.jar ... .ZipFile zip String name java.util.Enumeration entries public static int firstWidth (java.lang.String[]) int ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/doc/
H A DUserGuide.tex1181 Besides the deduction rules, the menu contains entries for computing
1499 mark and consists of \emph{entries} (usually field-value pairs) separated by
1519 Given a graph, nodes and edges can be addressed by numbers via entries like
1522 entries. \url{http://localhost:8000/123456789?prove=Nat\_\_E1\&prover=SPASS\&timeout=5}
1605 \item All other buttons control selecting list entries
H A DUserGuideCommonLogic.tex1226 \item All other buttons control selecting list entries.
/hets/GMP/papers/optInWork/
H A Dllncs.cls895 %%% to make title-entry parent of section-entries
/hets/GMP/papers/optimizing/
H A Dllncs.cls895 %%% to make title-entry parent of section-entries
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 26 milliseconds