| Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
| Wed, 11 Oct 2006 14:51:41 +0200 |
haftmann |
adapted to signature change
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Fri, 04 Aug 2000 22:54:34 +0200 |
wenzelm |
added rev_eq_reflection;
|
file |
diff |
annotate
|
| Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
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
|
| Thu, 05 Feb 1998 10:26:16 +0100 |
paulson |
Updated the description of how to set up hyp_subst_tac
|
file |
diff |
annotate
|
| Fri, 05 Dec 1997 18:44:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 11:53:42 +0200 |
nipkow |
\label{simp-chap} -> chap:simplification
|
file |
diff |
annotate
|
| Wed, 07 May 1997 16:29:06 +0200 |
paulson |
New acknowledgements; fixed overfull lines and tables
|
file |
diff |
annotate
|
| Tue, 06 May 1997 12:50:16 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
| Thu, 26 Sep 1996 17:13:18 +0200 |
paulson |
Documented stac, and updated the documentation of hyp_subst_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
|
| Thu, 25 Nov 1993 14:16:40 +0100 |
wenzelm |
corrected trivial typo;
|
file |
diff |
annotate
|
| Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|