| Wed, 13 Aug 2003 17:44:01 +0200 |
paulson |
corrections by Viktor Kuncak and minor updating
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Tue, 28 Jul 1998 16:33:43 +0200 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|
| Wed, 02 Jul 1997 16:46:36 +0200 |
paulson |
Now there are TWO spaces after each full stop, so that the Emacs sentence
|
file |
diff |
annotate
|
| Fri, 16 May 1997 15:50:24 +0200 |
wenzelm |
hint at more sections;
|
file |
diff |
annotate
|
| Tue, 06 May 1997 13:49:29 +0200 |
wenzelm |
fixed simplifier ex;
|
file |
diff |
annotate
|
| Mon, 05 May 1997 18:50:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 May 1997 13:24:11 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
| Mon, 12 Aug 1996 16:25:08 +0200 |
paulson |
Rewording: parameters->arguments!
|
file |
diff |
annotate
|
| Thu, 04 Apr 1996 18:01:26 +0200 |
nipkow |
Added 'constdefs' and extended the section on 'defs'
|
file |
diff |
annotate
|
| Wed, 31 Jan 1996 17:15:03 +0100 |
nipkow |
right-hard -> right-hand
|
file |
diff |
annotate
|
| Wed, 31 Jan 1996 15:02:26 +0100 |
nipkow |
Typo
|
file |
diff |
annotate
|
| Thu, 07 Dec 1995 14:24:32 +0100 |
clasohm |
removed quotes from syntax and consts sections
|
file |
diff |
annotate
|
| Fri, 24 Nov 1995 09:27:19 +0100 |
nipkow |
Inserted warning about defs with extra vars on rhs.
|
file |
diff |
annotate
|
| Tue, 25 Jul 1995 16:50:48 +0200 |
lcp |
trivial update
|
file |
diff |
annotate
|