| Sun, 06 Apr 2014 15:43:45 +0200 | wenzelm | more source positions; | changeset | files |
| Sun, 06 Apr 2014 15:38:54 +0200 | wenzelm | approximate ML antiquotation @{here} for Isabelle/Pure bootstrap; | changeset | files |
| Sun, 06 Apr 2014 15:19:22 +0200 | wenzelm | clarified ML bootstrap; | changeset | files |