Wed, 01 Apr 2015 22:40:07 +0200 |
wenzelm |
misc tuning -- keep name space more clean;
|
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
|
Mon, 10 Nov 2014 21:49:48 +0100 |
wenzelm |
proper context for assume_tac (atac remains as fall-back without context);
|
file |
diff |
annotate
|
Sun, 09 Nov 2014 17:04:14 +0100 |
wenzelm |
proper context for match_tac etc.;
|
file |
diff |
annotate
|
Sun, 09 Nov 2014 14:08:00 +0100 |
wenzelm |
proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);
|
file |
diff |
annotate
|
Sat, 08 Nov 2014 21:31:51 +0100 |
wenzelm |
optional proof context for unify operations, for the sake of proper local options;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 15:34:43 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 00:03:39 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
Wed, 09 Apr 2014 12:22:57 +0200 |
wenzelm |
proper context for print_tac;
|
file |
diff |
annotate
|
Sat, 05 Apr 2014 11:37:00 +0200 |
haftmann |
closer correspondence of document and session names, while maintaining document names for external reference
|
file |
diff |
annotate
| base
|