| Sun, 15 Mar 2015 14:46:01 +0100 | wenzelm | more command categories, as in ML; | file | diff | annotate |
| Sat, 14 Mar 2015 20:08:03 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 14 Mar 2015 19:51:36 +0100 | wenzelm | clarified positions of theory imports; | file | diff | annotate |
| Tue, 10 Mar 2015 20:12:30 +0100 | wenzelm | more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML; | file | diff | annotate |
| Tue, 09 Dec 2014 21:14:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 03 Dec 2014 11:37:51 +0100 | wenzelm | clarified token kind; | file | diff | annotate |