Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
lib/Tools/latex
2017-12-22
wenzelm
discontinued 'display_drafts' command;
file
|
diff
|
annotate
2013-07-27
wenzelm
discontinued historic document formats;
file
|
diff
|
annotate
2012-07-26
wenzelm
allow spaces in file names;
file
|
diff
|
annotate
2010-12-02
wenzelm
isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
file
|
diff
|
annotate
2008-12-20
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-10-21
wenzelm
tuned usage line;
file
|
diff
|
annotate
2008-05-24
urbanc
fixed improper handling of return code (pdf and ps.gz formats)
file
|
diff
|
annotate
2008-05-18
urbanc
proper handling of the return code for the ps-format (fixes a bug)
file
|
diff
|
annotate
2008-05-15
wenzelm
removed obsolete thumbpdf;
file
|
diff
|
annotate
2008-04-08
wenzelm
removed obsolete AUTO_PERL feature;
file
|
diff
|
annotate
2005-07-19
wenzelm
tuned;
file
|
diff
|
annotate
2005-06-01
haftmann
remove CVS id from *.sty latex styles
file
|
diff
|
annotate
2005-06-01
haftmann
remove CVS id from *.sty latex styles
file
|
diff
|
annotate
2005-06-01
haftmann
improved *.sty handling
file
|
diff
|
annotate
2005-06-01
haftmann
improved *.sty handling
file
|
diff
|
annotate
2005-06-01
haftmann
improved *.sty handling
file
|
diff
|
annotate
2005-05-24
haftmann
ML_idf antiquotation
file
|
diff
|
annotate
2005-04-26
wenzelm
restored AUTO_BASH/PERL -- beware of ./configure!
file
|
diff
|
annotate
2005-04-20
quigley
Removed remaining references to Main.thy in reconstruction code.
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2004-06-18
wenzelm
more generous treatment of packages in draft prints;
file
|
diff
|
annotate
2004-06-12
wenzelm
added option 'isatool latex -o syms';
file
|
diff
|
annotate
2004-01-08
kleing
run makeindex if necessary
file
|
diff
|
annotate
2002-01-24
wenzelm
copy_styles replaces overly conservative update_styles;
file
|
diff
|
annotate
2001-10-20
wenzelm
dvips -q;
file
|
diff
|
annotate
2000-11-30
wenzelm
/usr/bin/env bash;
file
|
diff
|
annotate
2000-11-22
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-01
wenzelm
GPLed;
file
|
diff
|
annotate
2000-03-24
wenzelm
tuned;
file
|
diff
|
annotate
2000-03-24
wenzelm
improved dump of styles;
file
|
diff
|
annotate
2000-03-24
wenzelm
-o sty;
file
|
diff
|
annotate
1999-10-14
wenzelm
support thumbpdf (via 'png' output format);
file
|
diff
|
annotate
1999-10-13
wenzelm
tuned usage;
file
|
diff
|
annotate
1999-10-09
wenzelm
support bibtex;
file
|
diff
|
annotate
1999-10-08
wenzelm
pass RC;
file
|
diff
|
annotate
1999-10-07
wenzelm
tuned dirname;
file
|
diff
|
annotate
1999-10-07
wenzelm
Isabelle wrapper for LaTeX (and friends);
file
|
diff
|
annotate
less
more
(0)
tip