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/browser
2016-03-10
wenzelm
prefer plain "isabelle" from PATH within Isabelle settings environment;
file
|
diff
|
annotate
2015-09-30
wenzelm
renamed jvmpath to platform_path;
file
|
diff
|
annotate
2014-10-09
wenzelm
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
file
|
diff
|
annotate
2014-05-24
wenzelm
more portable -- accomodate MiKTeX on Windows;
file
|
diff
|
annotate
2013-06-25
wenzelm
more formal isabelle_admin_build;
file
|
diff
|
annotate
2012-09-25
wenzelm
proper error message;
file
|
diff
|
annotate
2010-03-05
wenzelm
isabelle browser -b: Admin/build only;
file
|
diff
|
annotate
2010-01-09
wenzelm
pass build error code;
file
|
diff
|
annotate
2010-01-06
wenzelm
simplified build/bootstrap of graph browser -- avoid make;
file
|
diff
|
annotate
2008-12-20
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-10-21
wenzelm
tuned usage line;
file
|
diff
|
annotate
2008-10-04
wenzelm
replaced ISATOOL by ISABELLE_TOOL;
file
|
diff
|
annotate
2008-08-16
wenzelm
refined scala/java wrappers via isatool;
file
|
diff
|
annotate
2008-08-15
wenzelm
proper RC;
file
|
diff
|
annotate
2008-08-15
wenzelm
refined JVM path wrappers;
file
|
diff
|
annotate
2008-03-06
wenzelm
check ISABELLE_BROWSER_INFO before cd;
file
|
diff
|
annotate
2007-12-15
wenzelm
added javapath (for cygwin);
file
|
diff
|
annotate
2006-09-18
wenzelm
renamed option -d to -c (cf. isatool display);
file
|
diff
|
annotate
2004-06-21
kleing
Merged in license change from Isabelle2004
file
|
diff
|
annotate
2004-04-13
kleing
use .jar
file
|
diff
|
annotate
2003-05-07
kleing
use different main class for batch mode
file
|
diff
|
annotate
2001-10-23
wenzelm
unset DISPLAY (again);
file
|
diff
|
annotate
2001-10-22
wenzelm
keep DISPLAY;
file
|
diff
|
annotate
2001-10-20
wenzelm
-o pdf: produce *both* eps and pdf;
file
|
diff
|
annotate
2001-10-16
berghofe
Tuned.
file
|
diff
|
annotate
2001-10-16
wenzelm
option -o FILE --output to FILE (ps, eps, pdf);
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
fixed quoting;
file
|
diff
|
annotate
2000-09-01
wenzelm
GPLed;
file
|
diff
|
annotate
2000-07-03
wenzelm
fixed usage;
file
|
diff
|
annotate
2000-06-30
wenzelm
fixed ISABELLE_BROWSER_INFO;
file
|
diff
|
annotate
1999-10-07
berghofe
New option -d for deleting file after use.
file
|
diff
|
annotate
1997-08-07
berghofe
Startup script for Isabelle theory browser.
file
|
diff
|
annotate
less
more
(0)
tip