History log of /seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/root.tex
Revision Date Author Comments
# ba81fa63 02-Nov-2014 wenzelm <none@none>

modernized header;
# ffa14790 09-Feb-2014 wenzelm <none@none>

removed junk;
# 2ca7d222 15-Nov-2010 wenzelm <none@none>

non-executable source files;
# c040dd23 24-Nov-2009 haftmann <none@none>

backported parts of abstract byte code verifier from AFP/Jinja

--HG--
extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
# f6d12b00 28-Aug-2005 wenzelm <none@none>

tuned size of included graph;
# 95e21a28 21-Feb-2002 kleing <none@none>

fix toc
# 0e7365d8 21-Feb-2002 kleing <none@none>

new document
# 9c955c9d 20-Oct-2001 wenzelm <none@none>

include document graph;
# 415bd2e2 06-Feb-2001 kleing <none@none>

tuned
# cfa3b100 20-Sep-2000 kleing <none@none>

tuned, added lightweight BV to abstract, added Bali link
# 6d18d9a0 18-Sep-2000 wenzelm <none@none>

*** empty log message ***
# b27afb15 15-Sep-2000 oheimb <none@none>

added mJava macro
# a706911a 15-Sep-2000 oheimb <none@none>

added mJava macro
# d45009be 15-Sep-2000 wenzelm <none@none>

added latexsym (no longer loaded by isabellesym);
# 97d93a10 11-Sep-2000 wenzelm <none@none>

added title, abstract, bibliography;
# 411c74f6 03-Sep-2000 wenzelm <none@none>

improved section markup;
# 098931c2 31-Aug-2000 kleing <none@none>

tuned
# fe607c02 30-Aug-2000 kleing <none@none>

tuned
# bd21c046 04-Feb-2000 wenzelm <none@none>

added MicroJava/document;