| Fri, 14 Apr 2023 21:34:51 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Fri, 14 Apr 2023 20:42:17 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Mon, 27 Mar 2023 21:48:47 +0200 |
wenzelm |
performance tuning: prefer functor Set() over Table();
|
file |
diff |
annotate
|
| Wed, 27 Jan 2021 14:56:40 +0100 |
wenzelm |
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 20:23:13 +0100 |
wenzelm |
suppress markup for literal tokens with block control symbols, for better PIDE/HTML output (see also d15fe10593ff);
|
file |
diff |
annotate
|
| Wed, 01 Apr 2020 20:17:23 +0200 |
wenzelm |
pretty formatting as in Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 21:12:29 +0100 |
wenzelm |
document markers are formal comments, and may thus occur anywhere in the command-span;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 21 Dec 2018 13:00:59 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2018 12:31:05 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
| Sun, 28 Jan 2018 19:28:52 +0100 |
wenzelm |
clarified take/drop/chop prefix/suffix;
|
file |
diff |
annotate
|
| Sat, 27 Jan 2018 16:37:41 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 15:31:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
| Mon, 08 Jan 2018 14:26:45 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 06 Jun 2017 13:13:25 +0200 |
wenzelm |
discontinued obsolete print mode;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 15:46:51 +0200 |
wenzelm |
accomodate Poly/ML repository version, which treats singleton strings as boxed;
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 11:25:27 +0200 |
wenzelm |
discontinued raw symbols;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2016 20:05:05 +0200 |
wenzelm |
avoid malformed Isabelle symbols during bootstrap;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 18:56:31 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 Mar 2016 16:19:02 +0100 |
wenzelm |
clarified treatment of fragments of Isabelle symbols during bootstrap;
|
file |
diff |
annotate
|
| Wed, 20 Jan 2016 14:32:56 +0100 |
wenzelm |
tuned signature (according to Scala version);
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 15:14:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 19 Nov 2015 22:35:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 20:48:24 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 17:20:20 +0200 |
wenzelm |
clarified Symbol.is_control;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 21:27:30 +0200 |
wenzelm |
tuned signature (cf. XML.trim_blanks);
|
file |
diff |
annotate
|
| Sat, 01 Nov 2014 19:33:51 +0100 |
wenzelm |
recover via scanner;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 22:02:49 +0100 |
wenzelm |
discontinued obsolete \<^sync> marker;
|
file |
diff |
annotate
|