| Wed, 26 Oct 2011 22:50:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 02 Sep 2011 19:29:36 +0200 | haftmann | avoid "Code" as structure name | file | diff | annotate |
| Fri, 01 Jul 2011 15:16:03 +0200 | wenzelm | proper @{binding} antiquotations (relevant for formal references); | file | diff | annotate |
| Mon, 27 Jun 2011 16:53:31 +0200 | wenzelm | ML antiquotations are managed as theory data, with proper name space and entity markup; | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Sat, 16 Apr 2011 15:25:25 +0200 | wenzelm | prefer local name spaces; | file | diff | annotate |
| Sun, 13 Mar 2011 16:01:00 +0100 | wenzelm | Path.print is the official way to show file-system paths to users -- note that Path.implode often indicates violation of the abstract datatype; | file | diff | annotate |