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

/hets/
H A Dvar.mk9 # 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/utils/el/
H A Dhpf-mode.el11 (defconst hpf-mode-version "0.1"
27 (string-match "Lucid\\|XEmacs" emacs-version)
H A Dcasl-mode.el12 (defconst casl-mode-version "0.3"
33 (string-match "Lucid\\|XEmacs" emacs-version)
190 '("\\(\\<\\|\\s-+\\)\\(logic\\|from\\|get\\|library\\|version\\)[ :\t\n]+"
H A Ddol-mode.el12 (defconst dol-mode-version "0.4"
33 (string-match "Lucid\\|XEmacs" emacs-version)
190 '("\\(\\<\\|\\s-+\\)\\(logic\\|from\\|get\\|library\\|version\\)[ :\t\n]+"
/hets/MMT/
H A Dhets-mmt-standalone.jar ... main/main.jar .version OneJar.class OneJar.java package public OneJar extends ...
/hets/OWL2/java/lib/
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
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.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 40 milliseconds