| Sat, 26 Jan 2013 13:43:37 +0100 | wenzelm | some explanations of important build options; | file | diff | annotate |
| Sat, 15 Dec 2012 13:14:55 +0100 | wenzelm | clarified build_dialog command line; | file | diff | annotate |
| Fri, 14 Dec 2012 16:45:41 +0100 | wenzelm | clarified "isabelle options" command line, to make it more close to "isabelle components"; | file | diff | annotate |
| Thu, 06 Dec 2012 21:46:20 +0100 | wenzelm | documentation for isabelle build_dialog and its implicit use in isabelle jedit; | file | diff | annotate |
| Tue, 04 Sep 2012 20:45:43 +0200 | wenzelm | added build option -R; | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |