| /hets/utils/debian/auto-package/debian-common/ |
| H A D | postinst | 4 version=`isabelle version 2>/dev/null || exit 0`
6 if [[ "$version" == *2014 ]]; then
7 echo "you are using $version"
8 elif [[ "$version" == *2012 ]]; then
|
| /hets/utils/ |
| H A D | build_version.pl | 21 my $version = "<unknown>";
27 $version = join "", <VERS>;
29 $version =~ s/\n//ogs;
30 $version = '"v'.$version.', '.$currdate.'"';
32 print STDERR "No version number file given\n";
39 s/>>>VERSION<<</$version/oe;
|
| /hets/ |
| H A D | var.mk | 9 # what makes comparing version numbers much easier. If any part in the version
12 version = $(shell X="$(1)"; X="$${X\#\#*-}"; A=( $${X//./ } 0 0 0 ); \ macro
25 # Upgrade Haskell-Stack if the version requirement of 1.4.0 is not met
26 STACK_VERSION := $(call version, $(shell stack --numeric-version))
51 GHCVERSION := $(call version, $(shell $(STACK_EXEC) ghc --numeric-version))
74 HAXMLVERSION := $(call version, $(shell $(HCPKG) latest HaXml))
79 TARVERSION := $(call version,
[all...] |
| /hets/doc/ |
| H A D | Libraries.tex | 84 the location and perhaps identifies a particular version of the
96 \gramindex{LIB-VERSION} ::= lib-version LIB-ID VERSION-NUMBER
97 \gramindex{VERSION-NUMBER} ::= version-number NUMBER+
108 current version of the library but also to previously-defined
207 \texttt{name} in path \texttt{path} version \texttt{nnn} is accessed via \texttt{path/name/v\_nnn},
208 and the current version via \texttt{path/name/name}),
209 or should the version be appended to the name of the library (which
210 means that library \texttt{name} in path \texttt{path} version \texttt{nnn} is accessed via
211 \texttt{path/name\_v\_nnn}, and the current version
239 orders tags alphabetically. This coincides with the intended lexikographic version
[all...] |
| H A D | UserGuideCommonLogic.tex | 16 \usepackage[hide]{ed} % set to hide for producing a released version
467 The latest \Hets version can be obtained from the
473 improved constantly, it is recommended always to use the latest version.
518 Tcl/Tk & graphics widget system & (version 8.4 or 8.5 must be installed before)\\\hline
1511 The \texttt{xml} option will produce an XML-version of the development graph
1540 \LaTeX\ version of \texttt{Cat.clif} by typing:
1620 \item[\texttt{-V}, \texttt{-{}-version}] Print version number and exit.
|
| H A D | UserGuide.tex | 3 \usepackage[hide]{ed} % set to hide for producing a released version
571 The latest \Hets version can be obtained from the
577 improved constantly, it is recommended always to use the latest version.
602 Tcl/Tk & graphics widget system & (version 8.4 or 8.5)\\\hline
1380 The \texttt{xml} option will produce an XML-version of the development graph
1421 \LaTeX\ version of \texttt{Order.casl} by typing:
1539 \item[\texttt{-V}, \texttt{--version}] Print version number and exit.
1869 underlying OWL 2, written in Java. A Java Runtime Environment (in version $> 1.5$)
1878 A Java Runtime Environment (in version
[all...] |
| /hets/GUI/doc/ |
| H A D | WebInterfaceTests.tex | 42 Analyzing from Basic/Numbers version 0.3
44 Analyzing from Basic/StructuredDatatypes version 0.3
70 Analyzing from Basic/Numbers version 0.3
71 Analyzing from Basic/StructuredDatatypes version 0.3
101 Analyzing from Basic/Numbers version 0.3
103 Analyzing from Basic/StructuredDatatypes version 0.3
|
| /hets/CspCASL/Grammar/ |
| H A D | CSP_CASL_Parser.tex | 59 \item The newest version of {\bf ghc} has to be correctly installed (currently version is 5.04.2).\\
|
| /hets/CASL/doc/ |
| H A D | CASLParserOverview.tex | 26 version 1.0.1 \\ (www.brics.dk/Projects/CoFI/Documents/CASL/Summary/).
95 \item[Sublogics.hs] older version
|
| /hets/MMT/ |
| H A D | hets-mmt-standalone.jar | ... main/main.jar .version OneJar.class OneJar.java package public OneJar extends ... |
| /hets/GMP/papers/optInWork/ |
| H A D | llncs.cls | 1 % LLNCS DOCUMENT CLASS -- version 2.16 (15-Apr-2010)
|
| /hets/GMP/papers/optimizing/ |
| H A D | llncs.cls | 1 % LLNCS DOCUMENT CLASS -- version 2.16 (15-Apr-2010)
|
| /hets/Maude/doc/ |
| H A D | maude.tex | 142 with respect to the version of the underlying equational logic; in our
|
| /hets/Isabelle/export/ |
| H A D | export_helper.ml | 133 is the optional version of `p |> p1` *)
|
| /hets/OWL2/java/lib/ |
| H A D | trove4j-3.0.3.jar | META-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ... |
| H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
| /hets/CASL/Termination/ |
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |