Wed, 30 Dec 2015 20:12:26 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 13:30:59 +0100 |
wenzelm |
support 'for' fixes in rule_tac etc.;
|
file |
diff |
annotate
|
Fri, 20 Mar 2015 14:48:04 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 19 Mar 2015 22:30:57 +0100 |
wenzelm |
more position information;
|
file |
diff |
annotate
|
Tue, 10 Feb 2015 14:48:26 +0100 |
wenzelm |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Sat, 01 Nov 2014 14:20:38 +0100 |
wenzelm |
eliminated spurious semicolons;
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|