#
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
#
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
#
d9ef7419 |
|
02-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
ba266305 |
|
07-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
ba81fa63 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
#
53320a70 |
|
13-Aug-2013 |
wenzelm <none@none> |
more symbolic notation;
|
#
90f5724e |
|
01-Mar-2010 |
krauss <none@none> |
killed more recdefs
|
#
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
#
942a6e5f |
|
24-Feb-2010 |
wenzelm <none@none> |
modernized syntax declarations, and make them actually work with authentic syntax;
|
#
c040dd23 |
|
24-Nov-2009 |
haftmann <none@none> |
backported parts of abstract byte code verifier from AFP/Jinja --HG-- extra : rebase_source : 1d943bc92831d0a92004a43f72ff37eb352bf23f
|
#
16362266 |
|
07-Oct-2008 |
haftmann <none@none> |
arbitrary is undefined
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
2507f1f0 |
|
12-Mar-2002 |
kleing <none@none> |
workaround for "ins" bug in sml/nj + code generator
|
#
d1d14dc6 |
|
09-Mar-2002 |
kleing <none@none> |
canonical start state
|
#
d2589390 |
|
03-Mar-2002 |
kleing <none@none> |
symbolized
|
#
0e7365d8 |
|
21-Feb-2002 |
kleing <none@none> |
new document
|
#
09f51db6 |
|
15-Dec-2001 |
kleing <none@none> |
exception merge + cleanup
|
#
bca8f2bc |
|
12-Jun-2001 |
oheimb <none@none> |
corrected xsymbol/HTML syntax
|
#
c9fd864f |
|
05-Dec-2000 |
kleing <none@none> |
jvm_progs now also store maximum op_stack depth
|
#
85cf4cba |
|
22-Sep-2000 |
kleing <none@none> |
added HTML syntax
|
#
339494fb |
|
22-Sep-2000 |
kleing <none@none> |
converted to Isar, tuned
|
#
3d045495 |
|
21-Sep-2000 |
kleing <none@none> |
unsymbolized
|
#
ab66f32d |
|
17-Jul-2000 |
kleing <none@none> |
flat instruction set
|
#
4e4f25d5 |
|
01-Dec-1999 |
nipkow <none@none> |
Fixed a problem with returning from the last frame.
|
#
7da573c4 |
|
26-Nov-1999 |
nipkow <none@none> |
Various little changes like cmethd -> method and cfield -> field.
|
#
8389b74f |
|
24-Nov-1999 |
nipkow <none@none> |
Minor mods.
|
#
09af5f87 |
|
10-Nov-1999 |
nipkow <none@none> |
*** empty log message ***
|