/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | NetProtDB.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
H A D | PrettyPrinter.sml | 8 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 D | SingleAssignment.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
H A D | VectorSignature.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
H A D | VectorSliceSignature.sml | 8 License version 2.1 as published by the Free Software Foundation.
|
H A D | BinIO.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
H A D | IntArray2.sml | 9 version 2.1 of the License, or (at your option) any later version.
|
H A D | PolyVectorOperations.sml | 8 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 D | server.scala | 171 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 D | plugin.scala | 145 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 D | plugin.scala | 145 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 D | root.tex | 127 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 D | root.tex | 127 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 D | Cursor.sml | 7 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 D | Edit.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
H A D | Listbox.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
H A D | Combobox.sml | 8 version 2.1 of the License, or (at your option) any later version.
|
/seL4-l4v-10.1.1/HOL4/src/0/ |
H A D | Net.sig | 89 [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 D | Z3.sml | 47 (* 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 D | Net.sig | 89 [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 D | PIntMap.sml | 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/src/prekernel/ |
H A D | Globals.sml | 25 val version = Systeml.version value
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | build_history.scala | 152 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 D | vscode_resources.scala | 164 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 D | HOLPage.sml | 48 fun printHOLPage version bgcolor HOLpath idIndex TheoryIndex (dbfile, outfile) 133 out "<BR><EM>"; out version; out "</EM>";
|