| Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | file | diff | annotate |
| Sat, 17 May 2008 13:54:30 +0200 | wenzelm | structure Display: less pervasive operations; | file | diff | annotate |
| Thu, 28 Feb 2008 12:56:33 +0100 | wenzelm | removed legacy ML bindings; | file | diff | annotate |
| Thu, 30 Aug 2007 22:35:34 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | file | diff | annotate |
| Thu, 31 May 2007 13:18:52 +0200 | wenzelm | moved TFL files to canonical place; | file | diff | annotate |