| 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 |