#
0e2708d9 |
|
22-Dec-2017 |
wenzelm <none@none> |
discontinued 'display_drafts' command;
|
#
ba00e852 |
|
27-Jul-2013 |
wenzelm <none@none> |
discontinued historic document formats;
|
#
37ff71f2 |
|
26-Jul-2012 |
wenzelm <none@none> |
allow spaces in file names;
|
#
85a11453 |
|
02-Dec-2010 |
wenzelm <none@none> |
isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
#
20ccb96a |
|
23-May-2008 |
urbanc <none@none> |
fixed improper handling of return code (pdf and ps.gz formats)
|
#
5158e2f7 |
|
18-May-2008 |
urbanc <none@none> |
proper handling of the return code for the ps-format (fixes a bug)
|
#
12efb03c |
|
15-May-2008 |
wenzelm <none@none> |
removed obsolete thumbpdf;
|
#
e81694c8 |
|
08-Apr-2008 |
wenzelm <none@none> |
removed obsolete AUTO_PERL feature;
|
#
d2d8fc47 |
|
19-Jul-2005 |
wenzelm <none@none> |
tuned;
|
#
77385540 |
|
01-Jun-2005 |
haftmann <none@none> |
remove CVS id from *.sty latex styles
|
#
12dffdff |
|
01-Jun-2005 |
haftmann <none@none> |
remove CVS id from *.sty latex styles
|
#
1b1f2f16 |
|
01-Jun-2005 |
haftmann <none@none> |
improved *.sty handling
|
#
bf87c6b4 |
|
01-Jun-2005 |
haftmann <none@none> |
improved *.sty handling
|
#
7af0fd5e |
|
01-Jun-2005 |
haftmann <none@none> |
improved *.sty handling
|
#
43fbe9aa |
|
24-May-2005 |
haftmann <none@none> |
ML_idf antiquotation
|
#
a3ada1da |
|
26-Apr-2005 |
wenzelm <none@none> |
restored AUTO_BASH/PERL -- beware of ./configure!
|
#
90c01c19 |
|
20-Apr-2005 |
quigley <none@none> |
Removed remaining references to Main.thy in reconstruction code.
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
fef8abe3 |
|
18-Jun-2004 |
wenzelm <none@none> |
more generous treatment of packages in draft prints;
|
#
9ad6d098 |
|
12-Jun-2004 |
wenzelm <none@none> |
added option 'isatool latex -o syms';
|
#
b9b3cad4 |
|
07-Jan-2004 |
kleing <none@none> |
run makeindex if necessary
|
#
9c26a077 |
|
24-Jan-2002 |
wenzelm <none@none> |
copy_styles replaces overly conservative update_styles;
|
#
cd56d32c |
|
20-Oct-2001 |
wenzelm <none@none> |
dvips -q;
|
#
7098bba5 |
|
30-Nov-2000 |
wenzelm <none@none> |
/usr/bin/env bash;
|
#
e9e9889b |
|
22-Nov-2000 |
wenzelm <none@none> |
tuned;
|
#
30bdb608 |
|
01-Sep-2000 |
wenzelm <none@none> |
GPLed; more robust handling of spaces in args / file names;
|
#
5747200d |
|
24-Mar-2000 |
wenzelm <none@none> |
tuned;
|
#
17a8ae43 |
|
24-Mar-2000 |
wenzelm <none@none> |
improved dump of styles;
|
#
0b1bee58 |
|
24-Mar-2000 |
wenzelm <none@none> |
-o sty;
|
#
08000271 |
|
14-Oct-1999 |
wenzelm <none@none> |
support thumbpdf (via 'png' output format);
|
#
4fd7f247 |
|
13-Oct-1999 |
wenzelm <none@none> |
tuned usage;
|
#
32b3745b |
|
09-Oct-1999 |
wenzelm <none@none> |
support bibtex; tuned;
|
#
03fe7817 |
|
08-Oct-1999 |
wenzelm <none@none> |
pass RC;
|
#
672294cb |
|
06-Oct-1999 |
wenzelm <none@none> |
tuned dirname;
|
#
49478df2 |
|
06-Oct-1999 |
wenzelm <none@none> |
Isabelle wrapper for LaTeX (and friends);
|