Mon, 04 Oct 2021 13:32:34 +0200 |
wenzelm |
clarified dependencies;
|
file |
diff |
annotate
|
Tue, 18 May 2021 21:09:51 +0200 |
wenzelm |
show symbols in Isabelle/ML instead of perl;
|
file |
diff |
annotate
|
Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 21:32:54 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|