| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Sun, 12 Sep 2021 20:37:15 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2016 21:20:44 +0100 |
wenzelm |
eliminated old defs;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 20:54:44 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 20:51:39 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2015 14:25:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 22:19:58 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| Mon, 20 Nov 2006 23:47:10 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|