History log of /seL4-l4v-10.1.1/isabelle/src/Doc/Corec/document/root.tex
Revision Date Author Comments
# 0560dc79 02-Apr-2016 blanchet <none@none>

tuned LaTeX
# 65c26e58 02-Apr-2016 blanchet <none@none>

import package that might help on some machines (e.g., macbroy2)
# a60bb699 30-Mar-2016 blanchet <none@none>

more 'corec' docs
# d0408ac4 29-Mar-2016 blanchet <none@none>

more 'corec' docs
# c960fe1d 29-Mar-2016 blanchet <none@none>

more 'corec' documentation
# 010f2dee 29-Mar-2016 blanchet <none@none>

added sketchy 'corec' documentation