Sun, 08 Oct 2023 21:15:13 +0200 |
wenzelm |
update documentation on Isabelle/ML exceptions;
|
file |
diff |
annotate
|
Sun, 08 Oct 2023 19:17:41 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Mon, 25 Sep 2023 18:45:41 +0200 |
wenzelm |
clarified signature: avoid association with potentially dangerous Exn.capture;
|
file |
diff |
annotate
|
Thu, 21 Sep 2023 23:45:03 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 22 Apr 2023 20:55:05 +0200 |
wenzelm |
provide ML antiquotation "if_none": non-strict version of "the_default";
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
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
|
Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Fri, 05 Aug 2016 16:30:53 +0200 |
wenzelm |
Sidekick parser for isabelle-ml and sml mode;
|
file |
diff |
annotate
|
Wed, 01 Jun 2016 21:24:51 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
Tue, 05 Apr 2016 20:03:24 +0200 |
wenzelm |
clarified modules -- simplified bootstrap;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
Wed, 16 Dec 2015 17:28:49 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 00:17:13 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
Wed, 04 Nov 2015 18:32:47 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 22 Oct 2015 23:01:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 22 Oct 2015 21:34:28 +0200 |
wenzelm |
tuned;
|
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
|
Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
Sun, 18 Oct 2015 20:48:24 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 17 Oct 2015 19:26:34 +0200 |
wenzelm |
clarified nesting of paragraphs: indentation is taken into account more uniformly;
|
file |
diff |
annotate
|
Fri, 16 Oct 2015 14:53:26 +0200 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
Wed, 14 Oct 2015 15:10:32 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 20:58:58 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Wed, 06 May 2015 23:28:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 01 Apr 2015 22:40:07 +0200 |
wenzelm |
misc tuning -- keep name space more clean;
|
file |
diff |
annotate
|
Fri, 06 Mar 2015 18:21:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 01 Mar 2015 14:15:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 24 Dec 2014 10:06:37 +0100 |
haftmann |
typos
|
file |
diff |
annotate
|
Mon, 22 Dec 2014 20:40:37 +0100 |
wenzelm |
discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
|
file |
diff |
annotate
|
Fri, 12 Dec 2014 14:30:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 20:43:02 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:47:07 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Thu, 31 Jul 2014 22:02:21 +0200 |
wenzelm |
prefer dynamic ML_print_depth if context happens to be available;
|
file |
diff |
annotate
|
Thu, 31 Jul 2014 20:59:10 +0200 |
wenzelm |
clarified compile-time use of ML_print_depth;
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 15:34:43 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Fri, 27 Jun 2014 22:08:55 +0200 |
wenzelm |
more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
|
file |
diff |
annotate
|
Mon, 23 Jun 2014 12:54:48 +0200 |
wenzelm |
more on "Futures";
|
file |
diff |
annotate
|
Mon, 23 Jun 2014 12:20:20 +0200 |
wenzelm |
more on "Futures";
|
file |
diff |
annotate
|
Sat, 21 Jun 2014 21:33:00 +0200 |
wenzelm |
more on "Future values";
|
file |
diff |
annotate
|