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 |