| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 15 Nov 2018 21:33:00 +0100 |
wenzelm |
proper citation (amending 98ba42f19995);
|
file |
diff |
annotate
|
| Sun, 01 Jul 2018 12:38:37 +0200 |
wenzelm |
discontinued pending_shyps: too much complication due to lazy facts;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 15:54:41 +0200 |
wenzelm |
disallow pending hyps;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 15:46:35 +0100 |
wenzelm |
more embedded cartouche arguments;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2017 19:03:55 +0200 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 13:28:32 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Fri, 19 Feb 2016 15:01:38 +0100 |
wenzelm |
moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist";
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 19:11:23 +0100 |
wenzelm |
eliminated obscure macro that is in conflict with amsmath.sty;
|
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
|
| Wed, 04 Nov 2015 18:32:47 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|