| 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:38:52 +0200 |
wenzelm |
added generated file;
|
file |
diff |
annotate
|