| Thu, 29 May 2008 13:27:13 +0200 |
haftmann |
yet another attempt to circumvent printmode problems
|
file |
diff |
annotate
|
| Wed, 28 May 2008 12:24:48 +0200 |
haftmann |
fixed utterly wrong print mode handling
|
file |
diff |
annotate
|
| Wed, 28 May 2008 12:06:49 +0200 |
haftmann |
new serializer interface
|
file |
diff |
annotate
|
| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 22:00:31 +0200 |
haftmann |
more general evaluation combinators
|
file |
diff |
annotate
|
| Wed, 16 Apr 2008 21:52:58 +0200 |
wenzelm |
Facts.dest_static;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 18:49:15 +0200 |
wenzelm |
Facts.dest_table;
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 14:53:31 +0200 |
wenzelm |
added read_const_exprs (from Pure/Isar/code_unit.ML);
|
file |
diff |
annotate
|
| Thu, 10 Apr 2008 13:24:21 +0200 |
wenzelm |
replaced Isar.toplevel by Toplevel.program;
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 18:08:54 +0100 |
wenzelm |
removed obsolete PureThy.thms_containing;
|
file |
diff |
annotate
|
| Fri, 22 Feb 2008 12:01:57 +0100 |
haftmann |
non-operative code antiquotation
|
file |
diff |
annotate
|