Fri, 12 Jan 2001 17:59:37 +0100 | paulson | the \\epsilon character causes font errors in a section title | changeset | files |
Fri, 12 Jan 2001 16:56:20 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
Fri, 12 Jan 2001 16:32:01 +0100 | paulson | lcp's pass over the book, chapters 1-8 | changeset | files |