| #
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;
|
| #
5fc26177 |
|
11-Sep-2014 |
blanchet <none@none> |
updated news
|
| #
d2ddb3a1 |
|
09-Sep-2014 |
blanchet <none@none> |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
| #
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
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
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
e730b920 |
|
23-Oct-2002 |
kleing <none@none> |
fixed latex error
|
| #
44936f79 |
|
23-Oct-2002 |
streckem <none@none> |
*** empty log message ***
|
| #
0e7365d8 |
|
21-Feb-2002 |
kleing <none@none> |
new document
|
| #
09f51db6 |
|
15-Dec-2001 |
kleing <none@none> |
exception merge + cleanup
|
| #
ef8f4a2b |
|
14-Jan-2001 |
kleing <none@none> |
removed instructions Aconst_null+Bipush, introduced LitPush
|
| #
c9fd864f |
|
05-Dec-2000 |
kleing <none@none> |
jvm_progs now also store maximum op_stack depth
|
| #
339494fb |
|
22-Sep-2000 |
kleing <none@none> |
converted to Isar, tuned
|
| #
53b728cd |
|
07-Aug-2000 |
kleing <none@none> |
Invoke instruction gets fully qualified method name (class+name+sig) as
in Sun's JVM spec
|
| #
ab66f32d |
|
17-Jul-2000 |
kleing <none@none> |
flat instruction set
|