History log of /seL4-l4v-10.1.1/isabelle/src/Doc/How_to_Prove_it/document/prelude.tex
Revision Date Author Comments
# 09e95e92 12-Oct-2015 wenzelm <none@none>

obsolete;
# 50e6a752 23-May-2015 wenzelm <none@none>

prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
# b5dda96b 02-Nov-2014 wenzelm <none@none>

obsolete;
# ec6b3729 01-May-2014 nipkow <none@none>

new documentation: How to Prove it