| Sat, 25 Jun 2022 10:27:42 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 10:05:36 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 19:29:18 +0200 |
wenzelm |
clarified treatment of type constructors;
|
file |
diff |
annotate
|
| Sat, 22 May 2021 22:58:10 +0200 |
wenzelm |
more uniform document antiquotations for ML: consolidate former setup for manuals;
|
file |
diff |
annotate
|
| Sat, 22 May 2021 21:52:13 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 22 May 2021 13:35:25 +0200 |
wenzelm |
clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 14:56:03 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Fri, 02 Mar 2018 15:16:10 +0100 |
wenzelm |
prefer https;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 15:46:35 +0100 |
wenzelm |
more embedded cartouche arguments;
|
file |
diff |
annotate
|
| Sat, 09 Sep 2017 16:51:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 05 Nov 2016 15:07:11 +0100 |
wenzelm |
documentation of @{undefined} (actually introduced in Isabelle2016);
|
file |
diff |
annotate
|
| Sat, 05 Nov 2016 14:48:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 11:25:27 +0200 |
wenzelm |
discontinued raw symbols;
|
file |
diff |
annotate
|