| Mon, 06 Apr 2015 17:06:48 +0200 |
wenzelm |
@{command_spec} is superseded by @{command_keyword};
|
file |
diff |
annotate
|
| Mon, 19 Jan 2015 21:54:56 +0100 |
blanchet |
typo in description
|
file |
diff |
annotate
|
| Sun, 09 Mar 2014 16:37:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 16:33:48 +0100 |
wenzelm |
more rigid const demands, based on educated guesses about the tools involved here;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 14:38:54 +0100 |
wenzelm |
eliminated odd type constraint for read_const (see also 79c1d2bbe5a9);
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 13:44:01 +0100 |
wenzelm |
more uniform check_const/read_const;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2014 20:46:19 +0100 |
wenzelm |
prefer top-down rewriting for output (i.e. uncheck), in accordance to term abbreviations (see 5d2fe4e09354) and AST translations;
|
file |
diff |
annotate
|
| Mon, 18 Nov 2013 12:26:00 +0100 |
traytel |
reintroduced e2d08b9c9047, lost in 54e290da6da8 + e13b0c88c798
|
file |
diff |
annotate
|
| Mon, 30 Sep 2013 22:01:46 +0900 |
Christian Sternagel |
preserve types during rewriting
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 15:54:53 +0200 |
wenzelm |
prefer explicit type constraint (again, see also Type.appl_error);
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 15:30:12 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 15:25:51 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 19:34:23 +0900 |
Christian Sternagel |
indicate error-functions more prominently (by name prefix instead of suffix);
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 19:34:23 +0900 |
Christian Sternagel |
avoid low-level Same structure;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 19:34:23 +0900 |
Christian Sternagel |
avoid misleading "instances" in function name;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 19:34:23 +0900 |
Christian Sternagel |
move treatment of polymorphism to adhoc overloading command;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 19:34:23 +0900 |
Christian Sternagel |
clarify function;
|
file |
diff |
annotate
|
| Fri, 02 Aug 2013 15:41:19 +0900 |
Christian Sternagel |
use uniform spelling of "adhoc"
|
file |
diff |
annotate
|
| Fri, 02 Aug 2013 12:11:02 +0900 |
Christian Sternagel |
tuned formatting of error message
|
file |
diff |
annotate
|
| Fri, 19 Jul 2013 14:51:45 +0200 |
traytel |
permissive uncheck -- allow printing of malformed terms (e.g. in error messages);
|
file |
diff |
annotate
|
| Wed, 17 Jul 2013 12:41:59 +0900 |
Christian Sternagel |
show variants in error messages; more precise error messages (give witnesses for multiple instances)
|
file |
diff |
annotate
|
| Wed, 17 Jul 2013 12:19:14 +0900 |
Christian Sternagel |
refactoring
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 16:19:05 +0200 |
wenzelm |
localized and modernized adhoc-overloading (patch by Christian Sternagel);
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 12:39:39 +0100 |
wenzelm |
tuned -- prefer high-level Table.merge with its slightly more conservative update;
|
file |
diff |
annotate
|
| Thu, 10 Nov 2011 17:47:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 20:47:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 14:30:03 +0100 |
wenzelm |
proper configuration option;
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 14:57:09 +0200 |
wenzelm |
simplified check/uncheck interfaces: result comparison is hardwired by default;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Sat, 08 Jan 2011 17:14:48 +0100 |
wenzelm |
misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 14:16:12 +0200 |
haftmann |
load cache_io before code generator; moved adhoc-overloading to generic tools
|
file |
diff |
annotate
| base
|