| Tue, 06 May 1997 12:50:16 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
| Tue, 26 Nov 1996 16:07:17 +0100 |
paulson |
Added instructions on starting up
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 16:56:54 +0100 |
clasohm |
added \label{sec:shell-scripts}
|
file |
diff |
annotate
|
| Wed, 03 May 1995 16:46:17 +0200 |
lcp |
show_sorts:=true forces display of types
|
file |
diff |
annotate
|
| Fri, 27 Jan 1995 12:42:03 +0100 |
clasohm |
added documentation of pwd
|
file |
diff |
annotate
|
| Thu, 04 Aug 1994 11:51:30 +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:53:01 +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
|
| Fri, 26 Nov 1993 16:35:38 +0100 |
lcp |
Minor edits to discussion of use_thy
|
file |
diff |
annotate
|
| Fri, 26 Nov 1993 13:00:35 +0100 |
lcp |
Correction to eta-contraction; thanks to Markus W.
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 14:23:04 +0100 |
wenzelm |
corrected trivial typo;
|
file |
diff |
annotate
|
| Thu, 25 Nov 1993 10:29:40 +0100 |
clasohm |
added index commands, removed last paragraph of "Using Poly/ML"
|
file |
diff |
annotate
|
| Mon, 22 Nov 1993 16:03:36 +0100 |
clasohm |
added chapter "Defining Theories" and made changes for new Readthy functions
|
file |
diff |
annotate
|
| Wed, 10 Nov 1993 05:00:57 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|