Fri, 04 Jul 1997 12:36:00 +0200 | paulson | Automatic update | file | diff | annotate |
Fri, 23 May 1997 14:13:51 +0200 | nipkow | Documented `size' function for datatypes. | file | diff | annotate |
Thu, 22 May 1997 11:16:24 +0200 | wenzelm | SYNC; | file | diff | annotate |
Fri, 16 May 1997 15:51:11 +0200 | wenzelm | SYNC; | file | diff | annotate |
Mon, 12 May 1997 16:44:58 +0200 | wenzelm | SYNC; | file | diff | annotate |
Fri, 09 May 1997 19:42:09 +0200 | wenzelm | SYNC; | file | diff | annotate |
Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | file | diff | annotate |