History log of /seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/ROOT
Revision Date Author Comments
# 8af6b2ec 24-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: add ulem.sty which is now required by isabelle.sty

(available by default in newer tetex installs, but not older ones)
# 7e295041 23-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: AutoCorresDoc
# 3432b0a2 21-May-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

autocorres/doc: more robust isabelle.sty customization
# 0cdc2c10 18-Nov-2014 David Greenaway <david.greenaway@nicta.com.au>

autocorres: Tweak quickstart documentation.

Get ready to publish to the website.
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.