Tue, 30 Oct 2007 14:39:37 +0100 |
haftmann |
const antiquotation clarified
|
file |
diff |
annotate
|
Tue, 16 Oct 2007 17:06:20 +0200 |
wenzelm |
tuned Const.the_abbreviation;
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 00:20:13 +0200 |
wenzelm |
generic Syntax.pretty/string_of operations;
|
file |
diff |
annotate
|
Sun, 23 Sep 2007 22:23:27 +0200 |
wenzelm |
TypeInfer.constrain: canonical argument order;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 19:45:49 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 16:45:03 +0200 |
wenzelm |
PrintMode.with_modes;
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 23:18:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 23:29:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 22:46:59 +0200 |
wenzelm |
print_antiquotations: sort_strings;
|
file |
diff |
annotate
|
Fri, 19 Jan 2007 22:10:35 +0100 |
wenzelm |
renamed Isar/isar_output.ML to Thy/thy_output.ML;
|
file |
diff |
annotate
|