Searched refs:version (Results 1 - 25 of 718) sorted by relevance

1234567891011>>

/seL4-l4v-master/isabelle/src/Pure/System/
H A Ddistribution.scala12 val version = "repository version"
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Ddistribution.scala12 val version = "repository version"
/seL4-l4v-master/seL4/tools/python-deps/
H A Dsetup.py44 version='0.4.0', variable
/seL4-l4v-master/isabelle/lib/Tools/
H A Dghc_setup10 isabelle_stack ghc -- --version
/seL4-l4v-master/l4v/isabelle/lib/Tools/
H A Dghc_setup10 isabelle_stack ghc -- --version
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Disabelle_export.scala35 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 Disabelle_export.scala35 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 DMakefile.am7 libpolymain_la_LDFLAGS = -static -version-info 0:0
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dmake_spec.sh143 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 DMakefile31 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 Dbuild_jdk.scala19 /* 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 Dbuild_jdk.scala19 /* 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 Ddocument.scala432 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 Ddocument_status.scala106 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 Ddocument.scala432 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 Ddocument_status.scala106 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 Dmissing11 # 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 Dclean.sml8 version 2.1 of the License, or (at your option) any later version.
/seL4-l4v-master/HOL4/src/portableML/
H A DPIntMap.sig7 * 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 Dunquote-init.sml2 * A version of "use" that filters quotations. The native MoscowML version *
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DCopierStruct.sml7 version 2.1 of the License, or (at your option) any later version.
H A DDebugger.sml9 version 2.1 of the License, or (at your option) any later version.
H A DExportTreeStruct.sml7 version 2.1 of the License, or (at your option) any later version.
H A DSignaturesStruct.sml7 version 2.1 of the License, or (at your option) any later version.
H A DTypeIDCodeStruct.sml7 version 2.1 of the License, or (at your option) any later version.

Completed in 280 milliseconds

1234567891011>>