Fri, 18 Aug 2000 10:34:08 +0200 |
*** empty log message ***
|
file | diff | annotate |
Fri, 04 Aug 2000 11:22:59 +0200 |
targets for images, test, all;
|
file | diff | annotate |
Wed, 02 Aug 2000 11:30:38 +0200 |
*** empty log message ***
|
file | diff | annotate |
Tue, 09 May 2000 16:05:45 +0200 |
use proper version of pdfsetup.sty;
|
file | diff | annotate |
Mon, 08 May 2000 10:53:13 +0200 |
improved handling of Isabelle styles (less garbage);
|
file | diff | annotate |
Thu, 20 Apr 2000 09:54:56 +0200 |
*** empty log message ***
|
file | diff | annotate |
Wed, 19 Apr 2000 13:40:42 +0200 |
*** empty log message ***
|
file | diff | annotate |
Wed, 19 Apr 2000 11:54:39 +0200 |
I wonder if that's all?
|
file | diff | annotate |