/seL4-l4v-master/isabelle/src/Pure/System/ |
H A D | distribution.scala | 12 val version = "repository version"
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | distribution.scala | 12 val version = "repository version"
|
/seL4-l4v-master/seL4/tools/python-deps/ |
H A D | setup.py | 44 version='0.4.0', variable
|
/seL4-l4v-master/isabelle/lib/Tools/ |
H A D | ghc_setup | 10 isabelle_stack ghc -- --version
|
/seL4-l4v-master/l4v/isabelle/lib/Tools/ |
H A D | ghc_setup | 10 isabelle_stack ghc -- --version
|
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_export.scala | 35 val version = snapshot.version 39 (node_name, _) <- version.nodes.iterator 40 if !snapshot.state.node_exports(version, node_name).is_empty 46 (node_name, _) <- version.nodes.iterator if node_name.theory == theory 47 exports = snapshot.state.node_exports(version, node_name) 72 val version = snapshot.version 75 (node_name, _) <- version.nodes.iterator 77 (_, entry) <- snapshot.state.node_exports(version, node_nam [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | isabelle_export.scala | 35 val version = snapshot.version 39 (node_name, _) <- version.nodes.iterator 40 if !snapshot.state.node_exports(version, node_name).is_empty 46 (node_name, _) <- version.nodes.iterator if node_name.theory == theory 47 exports = snapshot.state.node_exports(version, node_name) 72 val version = snapshot.version 75 (node_name, _) <- version.nodes.iterator 77 (_, entry) <- snapshot.state.node_exports(version, node_nam [all...] |
/seL4-l4v-master/HOL4/polyml/libpolymain/ |
H A D | Makefile.am | 7 libpolymain_la_LDFLAGS = -static -version-info 0:0
|
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | make_spec.sh | 143 echo Built from git repo at $L4CAP by $USER > $SPEC/version 144 echo >> $SPEC/version 145 echo Generated from changeset: >> $SPEC/version 146 (cd $L4CAP && git show --oneline | head -1) >> $SPEC/version 147 echo >> $SPEC/version 150 echo >> $SPEC/version 151 echo Warning - uncomitted changes used: >> $SPEC/version 152 (cd $L4CAP && git status --short) >> $SPEC/version
|
/seL4-l4v-master/l4v/spec/design/ |
H A D | Makefile | 31 design : version 33 version : ${SKEL_FILES} ${MSKEL_FILES} ${HASKELL_FILES} ${TRANS_FILES} $(MAKEFILE_PATH)/Makefile 37 rm -fr *.thy ${ARCH_DIRS} ${MACHINE_FILES} version
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | build_jdk.scala | 19 /* version */ 25 case Version_Dir_Entry(version) => version 26 case _ => error("Cannot detect JDK version from " + quote(s)) 57 def readme(version: String): String = 58 """This is OpenJDK """ + version + """ as required for Isabelle. 113 val version = detect_version(dir_entry) 126 (version, platform) 146 val version = 148 case List(version) [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_jdk.scala | 19 /* version */ 25 case Version_Dir_Entry(version) => version 26 case _ => error("Cannot detect JDK version from " + quote(s)) 57 def readme(version: String): String = 58 """This is OpenJDK """ + version + """ as required for Isabelle. 113 val version = detect_version(dir_entry) 126 (version, platform) 146 val version = 148 case List(version) [all...] |
/seL4-l4v-master/isabelle/src/Pure/PIDE/ |
H A D | document.scala | 432 val version = future.join 433 versions.get(version.id) match { 434 case Some(version1) if !(version eq version1) => Future.value(version1) 466 def make(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): Change = 467 new Change(Some(previous), edits.reverse, version) 473 val version: Future[Version] = Future.value(Version.init)) 477 version.is_finished 479 def truncate: Change = new Change(None, Nil, version) 484 val version1 = Version.purge_future(versions, version) 485 if ((previous eq previous1) && (version e [all...] |
H A D | document_status.scala | 106 version: Document.Version, 109 val node = version.nodes(name) 120 val states = state.command_states(version, command) 133 val initialized = state.node_initialized(version, name) 134 val consolidated = state.node_consolidated(version, name) 137 is_suppressed = version.nodes.is_suppressed(name), 190 version: Document.Version, 198 st <- state.command_states(version, command) 263 version: Document.Version, 267 val nodes1 = version [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/ |
H A D | document.scala | 432 val version = future.join 433 versions.get(version.id) match { 434 case Some(version1) if !(version eq version1) => Future.value(version1) 466 def make(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): Change = 467 new Change(Some(previous), edits.reverse, version) 473 val version: Future[Version] = Future.value(Version.init)) 477 version.is_finished 479 def truncate: Change = new Change(None, Nil, version) 484 val version1 = Version.purge_future(versions, version) 485 if ((previous eq previous1) && (version e [all...] |
H A D | document_status.scala | 106 version: Document.Version, 109 val node = version.nodes(name) 120 val states = state.command_states(version, command) 133 val initialized = state.node_initialized(version, name) 134 val consolidated = state.node_consolidated(version, name) 137 is_suppressed = version.nodes.is_suppressed(name), 190 version: Document.Version, 198 st <- state.command_states(version, command) 263 version: Document.Version, 267 val nodes1 = version [all...] |
/seL4-l4v-master/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-master/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-master/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-master/HOL4/tools/ |
H A D | unquote-init.sml | 2 * A version of "use" that filters quotations. The native MoscowML version *
|
/seL4-l4v-master/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.
|