| Wed, 08 Aug 2012 15:58:40 +0200 |
wenzelm |
added build option -D: include session directory and select its sessions;
|
file |
diff |
annotate
|
| Mon, 06 Aug 2012 16:05:29 +0200 |
wenzelm |
"isabelle options" prints Isabelle system options;
|
file |
diff |
annotate
|
| Sun, 05 Aug 2012 21:57:25 +0200 |
wenzelm |
re-introduced ROOTS catalog files (cf. 47330b712f8f) which help to organize AFP or make -d options persistent;
|
file |
diff |
annotate
|
| Sun, 05 Aug 2012 20:11:32 +0200 |
wenzelm |
more on isabelle mkroot;
|
file |
diff |
annotate
|
| Thu, 02 Aug 2012 15:34:55 +0200 |
wenzelm |
discontinued unused etc/sessions catalog;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 15:31:00 +0200 |
wenzelm |
allow negative int values as well, according to real = int | float;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 14:38:45 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 14:11:29 +0200 |
wenzelm |
more uniform usage of "isabelle tool";
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 12:03:48 +0200 |
wenzelm |
added build option -c;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 11:03:44 +0200 |
wenzelm |
removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2012 21:40:46 +0200 |
wenzelm |
added build option -f;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 22:01:21 +0200 |
haftmann |
corrected slip
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 20:07:21 +0200 |
wenzelm |
some introduction on sessions;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 19:48:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 19:37:35 +0200 |
wenzelm |
some description of main build options;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 18:20:47 +0200 |
wenzelm |
more on "Session ROOT specifications";
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 15:21:49 +0200 |
wenzelm |
some description of isabelle build;
|
file |
diff |
annotate
|