Searched refs:version (Results 301 - 325 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dunix-systeml.sml107 val version = "" value
H A DwinNT-systeml.sml97 val version = "" value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dmake_iss.sml13 val sysname = Globals.release ^ " " ^ Int.toString Globals.version
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml102 val version = "" value
/seL4-l4v-10.1.1/HOL4/examples/lambda/typing/
H A DsttScript.sml29 (* this Unicode version will be preferred *)
/seL4-l4v-10.1.1/HOL4/developers/
H A Dpoly-prehol.sml144 "HOL-4 [" ^ Globals.release ^ " " ^ Lib.int_to_string Globals.version ^
/seL4-l4v-10.1.1/HOL4/examples/CCS/
H A DCoarsestCongrScript.sml44 (* Lemma 4.2. (Deng Lemma) [Den07], the weak bisimularity version *)
364 (* Coarsest congruence contained in WEAK_EQUIV (finite version) *)
670 (* The finite version of Klop's Lemma:
843 (* The finite version of COARSEST_CONGR_THM (PROP3) *)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DBUILTINS.sml8 License version 2.1 as published by the Free Software Foundation.
H A DExportTree.sml6 License version 2.1 as published by the Free Software Foundation.
H A DStronglyConnected.sml6 License version 2.1 as published by the Free Software Foundation.
H A DVALUEOPSSIG.sml9 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DIntSet.sml6 License version 2.1 as published by the Free Software Foundation.
H A DX86FOREIGNCALL.sml6 License version 2.1 as published by the Free Software Foundation.
89 (* Full RTS call version. An extra argument is passed that contains the thread ID.
216 (* This is a quicker version but can only be used if the RTS entry does
305 First version. This will probably be merged into the above code in due
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DBrush.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala310 val (doc_edits, version) =
361 previous, syntax_changed, syntax_changed.nonEmpty, doc_edits, consolidate, version)
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Dintro.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
/seL4-l4v-10.1.1/l4v/camkes/glue-spec/document/
H A Dintro.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DExnPrinter.sml8 License version 2.1 as published by the Free Software Foundation.
H A DIntInf.sml7 License version 2.1 as published by the Free Software Foundation.
H A DSML90.sml8 License version 2.1 as published by the Free Software Foundation.
H A DWindows.sml9 version 2.1 of the License, or (at your option) any later version.
649 val (major, minor, build, platform, version) =
656 csdVersion = version }
H A DTopLevelPolyML.sml8 License version 2.1 as published by the Free Software Foundation.
114 (* Create a version of the stream that locks before actually sending output. *)
131 (* Use this locked version for normal stdOut. *)
134 (* Create an unlocked version for use within the IDE code. When writing to this
137 version. *)
327 ( (* send the version number of the protocol *)
535 (* Use this locked version for normal stdOut. *)
1569 | s => " (Git version " ^ s ^ ")"
1574 then (* -v option : Print version information and exit *)
1576 " RTS version
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dthy_syntax.scala310 val (doc_edits, version) =
361 previous, syntax_changed, syntax_changed.nonEmpty, doc_edits, consolidate, version)
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dnotifications.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/Examples/
H A DbitViewer.sml8 version 2.1 of the License, or (at your option) any later version.

Completed in 104 milliseconds

<<11121314151617181920>>