| 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
|