Wed, 14 Sep 2016 14:37:38 +0200 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
Tue, 06 Sep 2016 13:26:14 +0200 |
wenzelm |
strictly sequential abbrevs;
|
file |
diff |
annotate
|
Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
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 23:46:28 +0200 |
wenzelm |
singleton result for 'proof' command (without backtracking), e.g. relevant for well-defined output;
|
file |
diff |
annotate
|
Mon, 11 Jul 2016 20:58:00 +0200 |
wenzelm |
clarified indentation;
|
file |
diff |
annotate
|
Mon, 11 Jul 2016 16:36:29 +0200 |
wenzelm |
explicit kind "before_command";
|
file |
diff |
annotate
|
Mon, 11 Jul 2016 10:43:54 +0200 |
wenzelm |
more indentation for quasi_command keywords;
|
file |
diff |
annotate
|
Thu, 23 Jun 2016 11:01:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 21 Jun 2016 17:35:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 11 Jun 2016 16:41:11 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
Fri, 10 Jun 2016 22:47:25 +0200 |
wenzelm |
added command 'unbundle';
|
file |
diff |
annotate
|
Fri, 10 Jun 2016 12:45:34 +0200 |
wenzelm |
prefer hybrid 'bundle' command;
|
file |
diff |
annotate
|
Thu, 09 Jun 2016 17:13:52 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Thu, 09 Jun 2016 15:41:49 +0200 |
wenzelm |
support for bundle definition via target;
|
file |
diff |
annotate
|