| Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2016 13:52:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2016 09:22:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Jun 2016 13:43:27 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2016 16:58:17 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2016 16:41:11 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
| Sun, 24 Apr 2016 21:31:14 +0200 |
wenzelm |
added Isar command 'define';
|
file |
diff |
annotate
|
| Mon, 15 Feb 2016 14:55:44 +0100 |
wenzelm |
proper syntax;
Isabelle2016
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 14:14:43 +0100 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2016 19:33:42 +0100 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2016 14:36:16 +0100 |
wenzelm |
clarified old forms;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 22:03:24 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 30 Jun 2015 15:20:56 +0200 |
wenzelm |
renamed "default" to "standard", to make semantically clear what it is;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 20:47:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|