| 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
|
| Fri, 13 Mar 2020 16:12:50 +0100 |
wenzelm |
some uses of "' " as witness for this feature;
|
file |
diff |
annotate
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 21:15:10 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Fri, 09 Jan 2015 08:37:00 +0100 |
haftmann |
prefer option for default code printing width
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:23:26 +0100 |
wenzelm |
modernized setup;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 14:17:13 +0100 |
wenzelm |
some document antiquotations for Isabelle/jEdit elements;
|
file |
diff |
annotate
|
| Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|