| Sat, 15 Mar 2014 16:54:32 +0100 | wenzelm | tuned markup; | file | diff | annotate |
| Sat, 15 Mar 2014 15:49:23 +0100 | wenzelm | more markup; | file | diff | annotate |
| Sat, 01 Mar 2014 22:46:31 +0100 | wenzelm | clarified language markup: added "delimited" property; | file | diff | annotate |
| Wed, 19 Feb 2014 20:56:29 +0100 | wenzelm | more markup; | file | diff | annotate |
| Mon, 17 Feb 2014 11:14:26 +0100 | wenzelm | more markup; | file | diff | annotate |
| Wed, 22 Jan 2014 17:02:05 +0100 | wenzelm | prefer rail cartouche -- avoid back-slashed quotes; | file | diff | annotate |
| Fri, 17 Jan 2014 20:31:39 +0100 | wenzelm | prefer user-space tool within Pure.thy; | file | diff | annotate | base |