| Sat, 09 Aug 2008 12:28:10 +0200 | wenzelm | dest: sort strings; | file | diff | annotate |
| Thu, 07 Aug 2008 13:45:03 +0200 | wenzelm | adapted Scan.extend_lexicon/merge_lexicons; | file | diff | annotate |
| Thu, 10 Jul 2008 17:26:27 +0200 | wenzelm | change_lexicons: no verbosity; | file | diff | annotate |
| Thu, 10 Jul 2008 13:37:33 +0200 | wenzelm | added is_diag; | file | diff | annotate |
| Wed, 02 Jul 2008 16:40:18 +0200 | wenzelm | replaced datatype category constructivism by is_theory/is_proof; | file | diff | annotate |
| Tue, 01 Jul 2008 21:30:11 +0200 | wenzelm | added datatype category; | file | diff | annotate |
| Wed, 25 Jun 2008 17:38:37 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | file | diff | annotate |
| Tue, 06 Sep 2005 08:29:17 +0200 | haftmann | eliminated 1 call to polyEq | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:30 +0200 | wenzelm | Isar command keyword classification (from Isar/outer_syntax.ML); | file | diff | annotate |