| Wed, 25 Jan 2012 21:10:54 +0100 | wenzelm | document antiquotations for ML infix operators; | file | diff | annotate |
| Fri, 01 Jul 2011 15:14:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Jul 2011 10:45:51 +0200 | bulwahn | adding a minimalistic documentation of the value antiquotation in the Isar reference manual | file | diff | annotate |
| Mon, 06 Jun 2011 22:02:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 03 May 2011 22:27:32 +0200 | wenzelm | more conventional naming scheme: names_long, names_short, names_unique; | file | diff | annotate |
| Tue, 03 May 2011 18:04:05 +0200 | wenzelm | some documentation of @{rail} antiquotation; | file | diff | annotate |
| Tue, 03 May 2011 15:07:36 +0200 | wenzelm | formal Base theory; | file | diff | annotate |