Sun, 06 Apr 2014 16:59:41 +0200 | wenzelm | renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; | file | diff | annotate |
Mon, 06 Jan 2014 17:47:44 +0100 | wenzelm | more formal ISABELLE_BROWSER_INFO; | file | diff | annotate |
Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | file | diff | annotate |
Sat, 27 Jul 2013 21:50:30 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 13 Mar 2013 15:12:14 +0100 | wenzelm | sessions may be organized via 'chapter' in ROOT; | file | diff | annotate |
Sat, 26 Jan 2013 12:45:32 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |