| Tue, 24 May 2016 16:24:20 +0200 | wenzelm | updated; | changeset | files |
| Tue, 24 May 2016 16:13:59 +0200 | wenzelm | simplified syntax; | changeset | files |
| Tue, 24 May 2016 16:03:03 +0200 | wenzelm | clarified syntax category names according to Isabelle/ML/Scala; | changeset | files |