| Thu, 26 Jan 2012 21:16:11 +0100 | wenzelm | moved HEADGOAL; | file | diff | annotate |
| Fri, 06 Jan 2012 11:27:49 +0100 | wenzelm | proper refs; | file | diff | annotate |
| Sat, 19 Nov 2011 21:18:38 +0100 | wenzelm | added ML antiquotation @{attributes}; | file | diff | annotate |
| Tue, 08 Nov 2011 22:38:56 +0100 | wenzelm | updated functor Named_Thms; | file | diff | annotate |
| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
| Tue, 26 Oct 2010 11:22:18 +0200 | wenzelm | proper markup of uninterpreted ML text as @{ML_text}, not @{verbatim}; | file | diff | annotate |