Tue, 10 Sep 2013 16:09:33 +0200 |
wenzelm |
discontinued obsolete command-line tool "isabelle build_dialog";
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 16:59:25 +0200 |
wenzelm |
support isabelle options -g;
|
file |
diff |
annotate
|
Fri, 17 May 2013 19:04:52 +0200 |
wenzelm |
added isabelle-process option -o;
|
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 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
|