Mon, 03 Jun 2019 14:47:27 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Thu, 09 May 2019 15:47:27 +0200 |
wenzelm |
proper formatting (amending 5076725247fa);
|
file |
diff |
annotate
|
Thu, 03 Jan 2019 14:12:44 +0100 |
wenzelm |
clarified signature: more types;
|
file |
diff |
annotate
|
Tue, 27 Nov 2018 21:07:39 +0100 |
wenzelm |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
|
file |
diff |
annotate
|
Mon, 12 Nov 2018 15:14:12 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 25 Oct 2018 15:41:40 +0200 |
wenzelm |
proper completion for @{named_theorems};
|
file |
diff |
annotate
|
Sun, 23 Sep 2018 21:49:31 +0200 |
wenzelm |
discontinued old-style goal cases;
|
file |
diff |
annotate
|
Fri, 20 Jul 2018 03:14:44 +0200 |
wenzelm |
added system option "strict_facts";
|
file |
diff |
annotate
|
Wed, 07 Mar 2018 17:39:18 +0100 |
wenzelm |
tuned -- more uniform;
|
file |
diff |
annotate
|
Fri, 23 Feb 2018 20:55:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 20 Feb 2018 16:20:36 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 19 Feb 2018 22:07:21 +0100 |
wenzelm |
support for lazy notes in global/local context and Element.Lazy_Notes: name binding and fact without attributes;
|
file |
diff |
annotate
|
Mon, 19 Feb 2018 18:18:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 19 Feb 2018 14:26:37 +0100 |
wenzelm |
store facts as lazy values;
|
file |
diff |
annotate
|
Sun, 28 Jan 2018 19:28:52 +0100 |
wenzelm |
clarified take/drop/chop prefix/suffix;
|
file |
diff |
annotate
|
Mon, 03 Jul 2017 09:20:24 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 03 Jul 2017 09:12:13 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Tue, 13 Dec 2016 11:51:42 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Tue, 25 Oct 2016 17:22:05 +0200 |
wenzelm |
more robust printing of names in the context of outer syntax;
|
file |
diff |
annotate
|
Tue, 09 Aug 2016 19:44:28 +0200 |
wenzelm |
print name in parsable form;
|
file |
diff |
annotate
|
Thu, 04 Aug 2016 21:30:20 +0200 |
wenzelm |
prefer hardwired "nothing";
|
file |
diff |
annotate
|
Fri, 22 Jul 2016 14:42:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 16 Jul 2016 19:35:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 16 Jul 2016 12:10:37 +0200 |
wenzelm |
re-use name space serial as unique (!) id;
|
file |
diff |
annotate
|
Sat, 16 Jul 2016 11:32:48 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Sat, 16 Jul 2016 00:38:33 +0200 |
wenzelm |
information about proof outline with cases (sendback);
|
file |
diff |
annotate
|
Fri, 15 Jul 2016 22:23:36 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Tue, 21 Jun 2016 14:42:47 +0200 |
wenzelm |
position information for literal facts;
|
file |
diff |
annotate
|
Tue, 07 Jun 2016 21:13:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 12 May 2016 10:03:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|