/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...] |