| /seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
| H A D | distribution.scala | 12 val version = "repository version"
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
| H A D | distribution.scala | 12 val version = "repository version"
|
| /seL4-l4v-10.1.1/seL4/tools/python-deps/ |
| H A D | setup.py | 43 version='0.1.3', variable
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
| H A D | Makefile.am | 7 libpolymain_la_LDFLAGS = -static -version-info 0:0
|
| /seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
| H A D | make_spec.sh | 147 echo Built from git repo at $L4CAP by $USER > $SPEC/version
148 echo >> $SPEC/version
149 echo Generated from changeset: >> $SPEC/version
150 (cd $L4CAP && git show --oneline | head -1) >> $SPEC/version
151 echo >> $SPEC/version
154 echo >> $SPEC/version
155 echo Warning - uncomitted changes used: >> $SPEC/version
156 (cd $L4CAP && git status --short) >> $SPEC/version
|
| /seL4-l4v-10.1.1/l4v/spec/design/ |
| H A D | Makefile | 5 # the GNU General Public License version 2. Note that NO WARRANTY is provided.
33 design : version
35 version : ${SKEL_FILES} ${MSKEL_FILES} ${HASKELL_FILES} ${CASECONV_FILE}
39 rm -fr *.thy ${ARCH_DIRS} ${MACHINE_FILES} version
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | document.scala | 420 val version = future.join
421 versions.get(version.id) match {
422 case Some(version1) if !(version eq version1) => Future.value(version1)
454 def make(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): Change =
455 new Change(Some(previous), edits.reverse, version)
461 val version: Future[Version] = Future.value(Version.init))
465 version.is_finished
467 def truncate: Change = new Change(None, Nil, version)
472 val version1 = Version.purge_future(versions, version)
473 if ((previous eq previous1) && (version e
[all...] |
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | document.scala | 420 val version = future.join
421 versions.get(version.id) match {
422 case Some(version1) if !(version eq version1) => Future.value(version1)
454 def make(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): Change =
455 new Change(Some(previous), edits.reverse, version)
461 val version: Future[Version] = Future.value(Version.init))
465 version.is_finished
467 def truncate: Change = new Change(None, Nil, version)
472 val version1 = Version.purge_future(versions, version)
473 if ((previous eq previous1) && (version e
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | build_jdk.scala | 18 /* version */
27 case _ => error("Cannot detect JDK version from " + quote(s))
57 def readme(version: Version): String =
58 """This is JDK/JRE """ + version.full + """ as required for Isabelle.
105 val version = detect_version(dir_entry)
115 (version, platform)
135 val version =
137 case List(version) => version
149 val jdk_name = "jdk-" + version
[all...] |
| H A D | news.scala | 12 /* generate HTML version */
24 List(HTML.title("NEWS (" + Distribution.version + ")")),
34 Isabelle_Tool("news", "generate HTML version of the NEWS file",
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | build_jdk.scala | 18 /* version */
27 case _ => error("Cannot detect JDK version from " + quote(s))
57 def readme(version: Version): String =
58 """This is JDK/JRE """ + version.full + """ as required for Isabelle.
105 val version = detect_version(dir_entry)
115 (version, platform)
135 val version =
137 case List(version) => version
149 val jdk_name = "jdk-" + version
[all...] |
| H A D | news.scala | 12 /* generate HTML version */
24 List(HTML.title("NEWS (" + Distribution.version + ")")),
34 Isabelle_Tool("news", "generate HTML version of the NEWS file",
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | missing | 11 # the Free Software Foundation; either version 2, or (at your option)
12 # any later version.
54 -v, --version output version information and exit
67 -v|--v|--ve|--ver|--vers|--versi|--versio|--version)
86 # Also exit now if we it failed (or wasn't found), and '--version' was
89 case $2 in --version|--help) exit $st;; esac
91 # Exit code 63 means version mismatch. This often happens when the user
92 # tries to use an ancient version of a tool on a file that requires a
93 # minimum version
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | missing | 11 # the Free Software Foundation; either version 2, or (at your option)
12 # any later version.
54 -v, --version output version information and exit
67 -v|--v|--ve|--ver|--vers|--versi|--versio|--version)
86 # Also exit now if we it failed (or wasn't found), and '--version' was
89 case $2 in --version|--help) exit $st;; esac
91 # Exit code 63 means version mismatch. This often happens when the user
92 # tries to use an ancient version of a tool on a file that requires a
93 # minimum version
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | clean.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | PIntMap.sig | 7 * License version 2, as published by the Free Software Foundation.
13 * See the GNU Library General Public License version 2 for more details
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | unquote-init.sml | 2 * A version of "use" that filters quotations. The native MoscowML version *
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
| H A D | CopierStruct.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
| H A D | Debugger.sml | 9 version 2.1 of the License, or (at your option) any later version.
|
| H A D | ExportTreeStruct.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
| H A D | SignaturesStruct.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
| H A D | TypeIDCodeStruct.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Word32.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Mutual.sig | 7 (* from the HOL 88 version. *)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | poly_specific.cpp | 8 License version 2.1 as published by the Free Software Foundation.
51 #include "version.h"
54 #include "version.h"
86 case 9: // Return the GIT version if appropriate
91 case 10: // Return the RTS version string.
93 const char *version; local
96 case MA_Interpreted: version = "Portable-" TextVersion; break;
97 case MA_I386: version = "I386-" TextVersion; break;
98 case MA_X86_64: version = "X86_64-" TextVersion; break;
99 default: version
[all...] |