Tue, 29 Aug 2000 15:43:29 +0200 |
*** empty log message ***
|
file | diff | annotate |
Tue, 29 Aug 2000 15:13:10 +0200 |
*** empty log message ***
|
file | diff | annotate |
Mon, 28 Aug 2000 09:32:51 +0200 |
*** empty log message ***
|
file | diff | annotate |
Mon, 21 Aug 2000 17:54:43 +0200 |
*** empty log message ***
|
file | diff | annotate |
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 |