| Fri, 12 Dec 1997 17:23:01 +0100 |
tuned;
|
file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 |
several minor updates;
|
file | diff | annotate |
| Mon, 29 Sep 1997 11:31:13 +0200 |
Safe_tac, Safe_step_tac, and minor corrections including \tt -> \texttt
|
file | diff | annotate |
| Thu, 25 Sep 1997 13:25:50 +0200 |
Clarify_tac and some textual improvements
|
file | diff | annotate |
| Wed, 02 Jul 1997 16:46:36 +0200 |
Now there are TWO spaces after each full stop, so that the Emacs sentence
|
file | diff | annotate |
| Mon, 19 May 1997 15:22:41 +0200 |
Documented auto_tac
|
file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 |
misc updates, tuning, cleanup;
|
file | diff | annotate |
| Wed, 30 Apr 1997 16:36:59 +0200 |
Documented blast_tac
|
file | diff | annotate |
| Sat, 15 Feb 1997 17:35:53 +0100 |
corrected minor mistakes
|
file | diff | annotate |
| Sat, 15 Feb 1997 17:02:19 +0100 |
description of safe vs. unsafe wrapper and the functions involved
|
file | diff | annotate |
| Tue, 07 Jan 1997 10:17:07 +0100 |
Updated account of implicit simpsets and clasets
|
file | diff | annotate |
| Tue, 16 Jul 1996 16:07:32 +0200 |
Added section about current claset.
|
file | diff | annotate |
| Wed, 03 May 1995 15:33:40 +0200 |
Covers wrapper tacticals: setwrapper, ..., addss
|
file | diff | annotate |
| Tue, 24 Jan 1995 03:03:19 +0100 |
documented slow_tac, slow_best_tac, depth_tac, deepen_tac
|
file | diff | annotate |
| Fri, 22 Apr 1994 18:18:37 +0200 |
final Springer copy
|
file | diff | annotate |
| Fri, 15 Apr 1994 16:29:48 +0200 |
penultimate Springer draft
|
file | diff | annotate |
| Mon, 04 Apr 1994 17:20:15 +0200 |
modifications towards final draft
|
file | diff | annotate |
| Mon, 21 Mar 1994 11:02:57 +0100 |
first draft of Springer book
|
file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 |
Initial revision
|
file | diff | annotate |