Searched refs:version (Results 151 - 175 of 687) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DNetProtDB.sml8 License version 2.1 as published by the Free Software Foundation.
H A DPrettyPrinter.sml8 License version 2.1 as published by the Free Software Foundation.
21 version was written in the Poly language in the early 80s and was based
24 His version was imperative and provided "blockBegin", "blockEnd",
25 "break" and "string" functions to lay out the text. This version uses
H A DSingleAssignment.sml8 License version 2.1 as published by the Free Software Foundation.
H A DVectorSignature.sml8 License version 2.1 as published by the Free Software Foundation.
H A DVectorSliceSignature.sml8 License version 2.1 as published by the Free Software Foundation.
H A DBinIO.sml8 version 2.1 of the License, or (at your option) any later version.
H A DIntArray2.sml9 version 2.1 of the License, or (at your option) any later version.
H A DPolyVectorOperations.sml8 version 2.1 of the License, or (at your option) any later version.
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dserver.scala171 private def change_document(file: JFile, version: Long, changes: List[Protocol.TextDocumentChange])
186 resources.change_model(session, editor, file, version, change.text, change.range))
298 if (change.deps_changed || undefined_blobs(change.version.nodes).nonEmpty)
322 reply_ok("Welcome to Isabelle/" + base_info.session + " (" + Distribution.version + ")")
463 case Protocol.DidOpenTextDocument(file, _, version, text) =>
464 change_document(file, version, List(Protocol.TextDocumentChange(None, text)))
466 case Protocol.DidChangeTextDocument(file, version, changes) =>
467 change_document(file, version, changes)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dplugin.scala145 case Some(version) => resources.undefined_blobs(version.nodes)
328 GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
329 "This is " + Distribution.version + ".",
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dplugin.scala145 case Some(version) => resources.undefined_blobs(version.nodes)
328 GUI.warning_dialog(jEdit.getActiveView, "Isabelle version for testing",
329 "This is " + Distribution.version + ".",
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex127 Isabelle > General.'' In this mode, a reduced version of Sledgehammer is run on
196 \texttt{LEO3\_VERSION}, or \texttt{SATALLAX\_VERSION} to the prover's version
207 \texttt{Z3\_VERSION} to the solver's version number (e.g., ``4.4.0'').
460 We hope to address this problem in a future version of Isabelle. In the
738 the \texttt{agsyHOL} executable. Sledgehammer has been tested with version 1.0.
756 prebuilt CVC4 package from \download. Sledgehammer has been tested with version
762 executable and \texttt{E\_VERSION} to the version number (e.g., ``1.8''), or
770 version 1.1.
780 \item[\labelitemi] \textbf{\textit{ehoh}:} Ehoh is an experimental version of
788 executables. Sledgehammer has been tested with version 0.9
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex127 Isabelle > General.'' In this mode, a reduced version of Sledgehammer is run on
196 \texttt{LEO3\_VERSION}, or \texttt{SATALLAX\_VERSION} to the prover's version
207 \texttt{Z3\_VERSION} to the solver's version number (e.g., ``4.4.0'').
460 We hope to address this problem in a future version of Isabelle. In the
738 the \texttt{agsyHOL} executable. Sledgehammer has been tested with version 1.0.
756 prebuilt CVC4 package from \download. Sledgehammer has been tested with version
762 executable and \texttt{E\_VERSION} to the version number (e.g., ``1.8''), or
770 version 1.1.
780 \item[\labelitemi] \textbf{\textit{ehoh}:} Ehoh is an experimental version of
788 executables. Sledgehammer has been tested with version 0.9
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCursor.sml7 License version 2.1 as published by the Free Software Foundation.
112 (* I found a note suggesting that it was better to use the Unicode version
H A DEdit.sml8 version 2.1 of the License, or (at your option) any later version.
H A DListbox.sml8 version 2.1 of the License, or (at your option) any later version.
H A DCombobox.sml8 version 2.1 of the License, or (at your option) any later version.
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sig89 [enter (tm,x) net] An outdated version of insert, kept for compatibility.
91 [lookup tm net] An outdated version of match, kept for compatibility.
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3.sml47 (* e.g. "Z3 version 4.5.0 - 64 bit" *)
63 val _ = OS.Process.system (p ^ " -version > " ^ outfile)
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sig89 [enter (tm,x) net] An outdated version of insert, kept for compatibility.
91 [lookup tm net] An outdated version of match, kept for compatibility.
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPIntMap.sml7 * 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/src/prekernel/
H A DGlobals.sml25 val version = Systeml.version value
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_history.scala152 def checkout(dir: Path, version: String): String =
155 hg.update(rev = version, clean = true)
156 progress.echo_if(verbose, hg.log(version, options = "-l1"))
157 hg.id(rev = version)
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dvscode_resources.scala164 version: Long,
172 (model.change_text(text, range) getOrElse model).set_version(version).external(false)
243 case Some(version) => undefined_blobs(version.nodes)
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHOLPage.sml48 fun printHOLPage version bgcolor HOLpath idIndex TheoryIndex (dbfile, outfile)
133 out "<BR><EM>"; out version; out "</EM>";

Completed in 188 milliseconds

1234567891011>>