| Tue, 14 Mar 2017 11:49:51 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 13 Mar 2017 22:50:26 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 13 Mar 2017 15:59:00 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 09 Jan 2017 20:47:45 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 01 Jan 2017 12:20:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 18 Dec 2016 21:58:13 +0100 | wenzelm | added isabelle jedit -R; | file | diff | annotate |
| Sat, 01 Oct 2016 23:05:25 +0200 | wenzelm | options for process policy, notably for multiprocessor machines; | file | diff | annotate |
| Thu, 14 Apr 2016 12:17:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Apr 2016 12:08:38 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |