doc-src/Ref/introduction.tex
Wed, 02 Jul 1997 16:46:36 +0200 paulson Now there are TWO spaces after each full stop, so that the Emacs sentence
Thu, 15 May 1997 14:58:51 +0200 wenzelm sysman refs;
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Tue, 26 Nov 1996 16:07:17 +0100 paulson Added instructions on starting up
Wed, 29 Nov 1995 16:56:54 +0100 clasohm added \label{sec:shell-scripts}
Wed, 03 May 1995 16:46:17 +0200 lcp show_sorts:=true forces display of types
Fri, 27 Jan 1995 12:42:03 +0100 clasohm added documentation of pwd
Thu, 04 Aug 1994 11:51:30 +0200 lcp addition of show_brackets
Fri, 22 Apr 1994 18:18:37 +0200 lcp final Springer copy
Fri, 15 Apr 1994 16:53:01 +0200 lcp penultimate Springer draft
Mon, 21 Mar 1994 11:02:57 +0100 lcp first draft of Springer book
Fri, 26 Nov 1993 16:35:38 +0100 lcp Minor edits to discussion of use_thy
Fri, 26 Nov 1993 13:00:35 +0100 lcp Correction to eta-contraction; thanks to Markus W.
Thu, 25 Nov 1993 14:23:04 +0100 wenzelm corrected trivial typo;
Thu, 25 Nov 1993 10:29:40 +0100 clasohm added index commands, removed last paragraph of "Using Poly/ML"
Mon, 22 Nov 1993 16:03:36 +0100 clasohm added chapter "Defining Theories" and made changes for new Readthy functions
Wed, 10 Nov 1993 05:00:57 +0100 lcp Initial revision
less more (0) tip