Cross Reference: QuantHeuristics.tex
xref
: /
seL4-l4v-10.1.1
/
HOL4
/
Manual
/
Translations
/
IT
/
Description
/
QuantHeuristics.tex
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
History log of
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/QuantHeuristics.tex
Revision
Date
Author
Comments
#
bd77b8fb
20-Oct-2015
Michael Norrish <Michael.Norrish@nicta.com.au>
Delete trailing whitespace
#
3848eebe
08-Feb-2014
unknown <masinido@vt-masinido.valueteam.com>
Minor corrections to the tutorial, and half translation of description.