| Tue, 19 Jul 2005 17:21:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 14:16:45 +0200 |
haftmann |
remove CVS id from *.sty latex styles
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 14:16:45 +0200 |
haftmann |
remove CVS id from *.sty latex styles
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 08:58:25 +0200 |
haftmann |
improved *.sty handling
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 08:57:49 +0200 |
haftmann |
improved *.sty handling
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 08:56:58 +0200 |
haftmann |
improved *.sty handling
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Tue, 26 Apr 2005 19:50:57 +0200 |
wenzelm |
restored AUTO_BASH/PERL -- beware of ./configure!
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 16:03:17 +0200 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 18 Jun 2004 20:07:59 +0200 |
wenzelm |
more generous treatment of packages in draft prints;
|
file |
diff |
annotate
|
| Sat, 12 Jun 2004 22:44:58 +0200 |
wenzelm |
added option 'isatool latex -o syms';
|
file |
diff |
annotate
|
| Thu, 08 Jan 2004 04:32:52 +0100 |
kleing |
run makeindex if necessary
|
file |
diff |
annotate
|
| Thu, 24 Jan 2002 22:41:44 +0100 |
wenzelm |
copy_styles replaces overly conservative update_styles;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2001 20:15:44 +0200 |
wenzelm |
dvips -q;
|
file |
diff |
annotate
|