| Thu, 27 Aug 1998 16:41:11 +0200 |
wenzelm |
Goal, Goalw;
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 19:12:13 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
| Tue, 28 Jul 1998 16:33:43 +0200 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|
| Fri, 05 Dec 1997 18:44:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Nov 1997 19:39:02 +0100 |
wenzelm |
several minor updates;
|
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
|
| Fri, 14 Feb 1997 10:35:06 +0100 |
paulson |
Strengthened warnings concerning topthm(), etc.
|
file |
diff |
annotate
|
| Mon, 20 Jan 1997 10:18:47 +0100 |
paulson |
Documents the new command "prlim"
|
file |
diff |
annotate
|
| Thu, 24 Oct 1996 11:41:43 +0200 |
paulson |
Documents the use of negative arguments to choplev and prlev
|
file |
diff |
annotate
|
| Tue, 17 Oct 1995 12:09:46 +0100 |
paulson |
Documented store_thm and moved qed to top
|
file |
diff |
annotate
|
| Fri, 18 Aug 1995 16:09:41 +0200 |
paulson |
minor corrections to indexing; added thms_containing
|
file |
diff |
annotate
|
| Thu, 10 Aug 1995 13:15:15 +0200 |
paulson |
minor polishing of text on findI, etc.
|
file |
diff |
annotate
|
| Mon, 07 Aug 1995 16:37:47 +0200 |
nipkow |
Documented findI, findE, findEs, thms_containing.
|
file |
diff |
annotate
|
| Thu, 19 Jan 1995 16:05:21 +0100 |
clasohm |
added documentation of bind_thm, qed, qed_goal, get_thm, thms_of
|
file |
diff |
annotate
|
| Thu, 04 Aug 1994 11:45:59 +0200 |
lcp |
addition of show_brackets
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 18:18:37 +0200 |
lcp |
final Springer copy
|
file |
diff |
annotate
|
| Fri, 15 Apr 1994 16:47:15 +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
|