doc-src/TutorialI/tutorial.tex
Thu, 19 Feb 2004 17:57:54 +0100 paulson new numerics section using type classes
Thu, 08 May 2003 13:36:07 +0200 kleing fix euro error
Thu, 21 Feb 2002 18:19:34 +0100 wenzelm updated title;
Thu, 17 Jan 2002 12:58:31 +0100 nipkow *** empty log message ***
Tue, 08 Jan 2002 17:32:13 +0100 wenzelm \part{Elementary Techniques};
Sat, 05 Jan 2002 01:19:14 +0100 wenzelm use wasysym package;
Thu, 20 Dec 2001 21:13:22 +0100 wenzelm \usepackage{marvosym};
Thu, 13 Dec 2001 16:48:34 +0100 nipkow *** empty log message ***
Mon, 01 Oct 2001 14:44:00 +0200 wenzelm initial setup for chapter on document preparation;
Tue, 04 Sep 2001 17:31:18 +0200 nipkow *** empty log message ***
Mon, 03 Sep 2001 10:28:52 +0200 nipkow *** empty log message ***
Fri, 03 Aug 2001 18:04:55 +0200 paulson numerous stylistic changes and indexing
Thu, 26 Jul 2001 16:43:02 +0200 paulson revisions and indexing
Tue, 24 Jul 2001 11:25:54 +0200 paulson tweaks and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
less more (0) -15 tip