| Wed, 15 Aug 2012 12:36:38 +0200 | wenzelm | some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc"); | file | diff | annotate |
| Tue, 14 Aug 2012 11:37:58 +0200 | wenzelm | added jedit option -d; | file | diff | annotate |
| Mon, 30 Jul 2012 14:29:12 +0200 | wenzelm | discontinued unused isabelle jedit debugger; | file | diff | annotate |
| Mon, 30 Jul 2012 14:11:29 +0200 | wenzelm | more uniform usage of "isabelle tool"; | file | diff | annotate |
| Sat, 28 Jul 2012 13:29:56 +0200 | wenzelm | isabelle browser is another user interface; | file | diff | annotate |
| Sat, 28 Jul 2012 13:01:48 +0200 | wenzelm | top-down order of user interfaces; | file | diff | annotate |
| Sat, 28 Jul 2012 12:59:53 +0200 | wenzelm | misc tuning; | file | diff | annotate |