History log of /seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/root.bib
Revision Date Author Comments
# 7c718ad5 18-Jul-2018 wenzelm <none@none>

prefer HTTPS;
# 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
# 64369aa5 24-Mar-2002 kleing <none@none>

tuned
# 5ad8cccd 18-Sep-2000 wenzelm <none@none>

tuned;
# 37ee766d 15-Sep-2000 oheimb <none@none>

added new papers
# 8bdeed44 15-Sep-2000 oheimb <none@none>

added new papers
# 1adfbc1a 12-Sep-2000 wenzelm <none@none>

added MicroJava/document/root.bib;