#
1f275cf8 |
|
21-Sep-2013 |
wenzelm <none@none> |
proper text replacement (cf. 747835eb2782);
|
#
55ad5859 |
|
03-Sep-2012 |
wenzelm <none@none> |
"isabelle logo" produces EPS and PDF format simultaneously; more robust invocation of epstopdf: avoid filter mode;
|
#
8d9a3cf1 |
|
27-Aug-2012 |
wenzelm <none@none> |
clarified "isabelle logo";
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
#
e81694c8 |
|
08-Apr-2008 |
wenzelm <none@none> |
removed obsolete AUTO_PERL feature;
|
#
a3ada1da |
|
26-Apr-2005 |
wenzelm <none@none> |
restored AUTO_BASH/PERL -- beware of ./configure!
|
#
9cc62485 |
|
04-Mar-2005 |
skalberg <none@none> |
Removed practically all references to Library.foldr.
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
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;
|
#
0c5a4d7e |
|
11-Jan-1999 |
wenzelm <none@none> |
configure AUTO_BASH, AUTO_PERL;
|
#
5d87d513 |
|
29-Sep-1998 |
wenzelm <none@none> |
handle empty name;
|
#
60a6f676 |
|
25-Sep-1998 |
wenzelm <none@none> |
improved;
|
#
47a687c8 |
|
24-Sep-1998 |
wenzelm <none@none> |
create an instance of the Isabelle logo;
|