| Wed, 20 Jul 2016 21:26:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
| Tue, 14 Jun 2016 13:52:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 13 Jun 2016 09:22:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 12 Jun 2016 13:43:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 11 Jun 2016 16:58:17 +0200 | wenzelm | clarified; | file | diff | annotate |
| Sat, 11 Jun 2016 16:41:11 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| Sun, 24 Apr 2016 21:31:14 +0200 | wenzelm | added Isar command 'define'; | file | diff | annotate |