| Mon, 20 Apr 2009 15:24:57 +0200 | haftmann | empty page leads to results on duplex printers as expected | file | diff | annotate |
| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Thu, 01 Nov 2007 13:44:44 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 10 Jun 2005 18:36:47 +0200 | nipkow | tuning | file | diff | annotate |
| Thu, 19 Feb 2004 17:57:54 +0100 | paulson | new numerics section using type classes | file | diff | annotate |
| Thu, 08 May 2003 13:36:07 +0200 | kleing | fix euro error | file | diff | annotate |
| Thu, 21 Feb 2002 18:19:34 +0100 | wenzelm | updated title; | file | diff | annotate |
| Thu, 17 Jan 2002 12:58:31 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 08 Jan 2002 17:32:13 +0100 | wenzelm | \part{Elementary Techniques}; | file | diff | annotate |
| Sat, 05 Jan 2002 01:19:14 +0100 | wenzelm | use wasysym package; | file | diff | annotate |
| Thu, 20 Dec 2001 21:13:22 +0100 | wenzelm | \usepackage{marvosym}; | file | diff | annotate |
| Thu, 13 Dec 2001 16:48:34 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 01 Oct 2001 14:44:00 +0200 | wenzelm | initial setup for chapter on document preparation; | file | diff | annotate |
| Tue, 04 Sep 2001 17:31:18 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 03 Sep 2001 10:28:52 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 03 Aug 2001 18:04:55 +0200 | paulson | numerous stylistic changes and indexing | file | diff | annotate |
| Thu, 26 Jul 2001 16:43:02 +0200 | paulson | revisions and indexing | file | diff | annotate |
| Tue, 24 Jul 2001 11:25:54 +0200 | paulson | tweaks and indexing | file | diff | annotate |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
| Fri, 13 Jul 2001 18:22:13 +0200 | paulson | oops | file | diff | annotate |
| Thu, 12 Jul 2001 16:36:26 +0200 | paulson | more in the Springer style | file | diff | annotate |
| Wed, 11 Jul 2001 13:54:44 +0200 | paulson | separate preface and macro file | file | diff | annotate |
| Fri, 29 Jun 2001 18:12:18 +0200 | paulson | the records section | file | diff | annotate |
| Tue, 10 Apr 2001 16:11:01 +0200 | paulson | Protocols chapter | file | diff | annotate |
| Mon, 19 Mar 2001 12:38:36 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 15 Mar 2001 10:41:32 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 13 Feb 2001 16:48:36 +0100 | wenzelm | \remarksfalse; | file | diff | annotate |
| Mon, 05 Feb 2001 14:54:04 +0100 | wenzelm | disable non-existant chapters | file | diff | annotate |
| Thu, 25 Jan 2001 15:31:31 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 24 Jan 2001 12:29:10 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 12 Jan 2001 16:32:01 +0100 | paulson | lcp's pass over the book, chapters 1-8 | file | diff | annotate |
| Fri, 15 Dec 2000 12:32:35 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 13 Dec 2000 09:39:53 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 05 Dec 2000 18:56:57 +0100 | paulson | new package amsfonts | file | diff | annotate |
| Thu, 30 Nov 2000 13:56:46 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 27 Nov 2000 16:40:56 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 27 Nov 2000 10:38:43 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Sun, 26 Nov 2000 10:48:38 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 21 Nov 2000 10:37:04 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 06 Nov 2000 18:28:22 +0100 | paulson | minor modifications for new Springer style | file | diff | annotate |
| Thu, 26 Oct 2000 10:27:04 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 23 Oct 2000 20:58:12 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 23 Oct 2000 17:36:09 +0200 | paulson | addition of Rules, Sets and some macros of lcp | file | diff | annotate |
| Thu, 19 Oct 2000 21:20:07 +0200 | wenzelm | tuned \isasymuniqex; | file | diff | annotate |
| Tue, 17 Oct 2000 13:28:57 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 09 Oct 2000 19:20:55 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 09 Oct 2000 10:18:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 03 Oct 2000 11:26:54 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 30 Aug 2000 14:38:48 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 29 Aug 2000 16:05:13 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 29 Aug 2000 11:52:47 +0200 | wenzelm | improved isabellepar env; | 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, 22 Aug 2000 11:24:44 +0200 | paulson | removed redundant commands | file | diff | annotate |
| Fri, 18 Aug 2000 10:34:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 02 Jun 2000 15:19:18 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Wed, 19 Apr 2000 11:54:39 +0200 | nipkow | I wonder if that's all? | file | diff | annotate |