Tue, 28 Sep 2021 16:01:13 +0200 |
wenzelm |
outer syntax: support for control-cartouche tokens;
|
file |
diff |
annotate
|
Sat, 11 Sep 2021 21:16:23 +0200 |
wenzelm |
ML antiquotations for type constructors and term constants;
|
file |
diff |
annotate
|
Mon, 23 Aug 2021 14:24:57 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 23 Aug 2021 12:54:28 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 09 Apr 2021 21:07:11 +0200 |
wenzelm |
clarified signature: more detailed token positions for antiquotations;
|
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
|
Mon, 25 Feb 2019 11:38:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 24 Feb 2019 20:44:17 +0100 |
wenzelm |
clarified signature, notably for hol4isabelle (by Fabian Immler);
|
file |
diff |
annotate
|
Mon, 27 Aug 2018 20:43:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 27 Aug 2018 19:29:07 +0200 |
wenzelm |
simplified markup;
|
file |
diff |
annotate
|
Mon, 27 Aug 2018 19:12:48 +0200 |
wenzelm |
explicit setup of operations: avoid hardwired stuff;
|
file |
diff |
annotate
|
Sun, 14 Jan 2018 15:17:51 +0100 |
wenzelm |
clarified SML (no formal comments) vs. Isabelle/ML (arbitrary comments);
|
file |
diff |
annotate
|
Sun, 14 Jan 2018 14:11:02 +0100 |
wenzelm |
clarified modules: uniform notion of formal comments;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 20:32:36 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Sun, 07 Jan 2018 16:55:45 +0100 |
wenzelm |
allow formal comments in ML;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 11:32:23 +0200 |
wenzelm |
more markup for HTML rendering;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 10:39:50 +0100 |
wenzelm |
more uniform treatment of "bad" like other messages (with serial number);
|
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
|
Wed, 01 Jun 2016 15:01:43 +0200 |
wenzelm |
support rat numerals via special antiquotation syntax;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 17:37:46 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 09 Dec 2015 16:36:26 +0100 |
wenzelm |
clarified type Token.src: plain token list, with usual implicit value assignment;
|
file |
diff |
annotate
|
Sat, 07 Nov 2015 00:28:42 +0100 |
wenzelm |
ML cartouches via control antiquotation;
|
file |
diff |
annotate
|
Tue, 20 Oct 2015 20:45:33 +0200 |
wenzelm |
another antiquotation short form: undecorated cartouche as alias for @{text};
|
file |
diff |
annotate
|
Mon, 19 Oct 2015 16:26:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 18 Oct 2015 21:30:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 18 Oct 2015 17:24:24 +0200 |
wenzelm |
support control symbol antiquotations;
|
file |
diff |
annotate
|
Fri, 16 Oct 2015 10:11:20 +0200 |
wenzelm |
clarified Antiquote.antiq_reports;
|
file |
diff |
annotate
|
Wed, 10 Dec 2014 10:44:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 08 Dec 2014 22:42:12 +0100 |
wenzelm |
expand ML cartouches to Input.source;
|
file |
diff |
annotate
|