Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
Mon, 10 Oct 2005 14:43:45 +0200 |
wenzelm |
updated print_tac;
|
file |
diff |
annotate
|
Fri, 27 Oct 2000 15:53:47 +0200 |
oheimb |
added instantiate_tac
|
file |
diff |
annotate
|
Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
Wed, 09 Aug 2000 21:14:07 +0200 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
Fri, 04 Aug 2000 22:53:44 +0200 |
wenzelm |
subgoals_tac: fixed spelling;
|
file |
diff |
annotate
|
Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
Mon, 06 Sep 1999 18:18:09 +0200 |
oheimb |
added ftac, eatac, datac, fatac
|
file |
diff |
annotate
|
Mon, 10 May 1999 15:16:49 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
Mon, 24 Aug 1998 19:12:13 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
Sat, 07 Feb 1998 14:37:48 +0100 |
paulson |
Added reference to rotate_prems
|
file |
diff |
annotate
|
Thu, 05 Feb 1998 10:26:59 +0100 |
paulson |
Fixed a lot of overfull and underfull lines (hboxes)
|
file |
diff |
annotate
|
Thu, 27 Nov 1997 19:39:02 +0100 |
wenzelm |
several minor updates;
|
file |
diff |
annotate
|
Fri, 21 Nov 1997 15:41:27 +0100 |
wenzelm |
changed Pure/Sequence interface;
|
file |
diff |
annotate
|
Mon, 20 Oct 1997 11:53:42 +0200 |
nipkow |
\label{simp-chap} -> chap:simplification
|
file |
diff |
annotate
|
Wed, 23 Jul 1997 11:48:59 +0200 |
paulson |
Removal of tactical STATE
|
file |
diff |
annotate
|
Thu, 05 Jun 1997 13:19:27 +0200 |
paulson |
Documented the new distinct_subgoals_tac
|
file |
diff |
annotate
|
Tue, 06 May 1997 12:50:16 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
Fri, 14 Feb 1997 10:35:23 +0100 |
paulson |
Documented thin_tac
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 17:14:02 +0200 |
paulson |
Documented defer_tac and moved back the obsolete tactics like fold_tac
|
file |
diff |
annotate
|
Fri, 28 Jul 1995 18:05:50 +0200 |
nipkow |
added rotate_tac
|
file |
diff |
annotate
|
Mon, 11 Jul 1994 17:38:10 +0200 |
lcp |
documented subgoals_tac
|
file |
diff |
annotate
|
Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
Fri, 15 Apr 1994 17:16:23 +0200 |
lcp |
penultimate Springer draft
|
file |
diff |
annotate
|
Mon, 21 Mar 1994 11:02:57 +0100 |
lcp |
first draft of Springer book
|
file |
diff |
annotate
|
Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|