History log of /seL4-l4v-10.1.1/HOL4/examples/STE/Conversion.sig
Revision Date Author Comments
# 24d0e67a 15-Sep-2009 Peter Homeier <palantir@trustworthytools.com>

Repaired the STE example to build with Kananaskis-6; it was broken.
Now, after doing "Holmake" in the main STE directory, one can run the examples by

hol < RunScript