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
.
Admin/build
2012-09-05
wenzelm
eliminated potentially confusing terminology of Scala "layer";
file
|
diff
|
annotate
2012-08-28
wenzelm
more formal build_doc tool (Admin only);
file
|
diff
|
annotate
2012-08-06
wenzelm
discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
file
|
diff
|
annotate
2012-07-25
wenzelm
rail no longer exists;
file
|
diff
|
annotate
2012-04-09
wenzelm
slightly faster default compilation of Isabelle/Scala;
file
|
diff
|
annotate
2012-03-26
wenzelm
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
file
|
diff
|
annotate
2012-03-14
haftmann
doc-src build option (for emerging mira configuration)
file
|
diff
|
annotate
2011-11-07
wenzelm
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
file
|
diff
|
annotate
2011-09-26
wenzelm
ensure Isabelle env;
file
|
diff
|
annotate
2011-06-23
wenzelm
provide Isabelle/Scala environment as Java extension, instead of user classpath
file
|
diff
|
annotate
2011-06-08
wenzelm
support fresh build of jars;
file
|
diff
|
annotate
2010-01-11
wenzelm
clarified terminology;
file
|
diff
|
annotate
2010-01-09
wenzelm
pass build error code;
file
|
diff
|
annotate
2010-01-06
wenzelm
tuned Isabelle/Scala build;
file
|
diff
|
annotate
2010-01-06
wenzelm
simplified build/bootstrap of graph browser -- avoid make;
file
|
diff
|
annotate
2010-01-06
wenzelm
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
file
|
diff
|
annotate
2009-06-28
wenzelm
clarified "jars" target;
file
|
diff
|
annotate
2008-12-28
wenzelm
disabled old jedit plugin;
file
|
diff
|
annotate
2008-12-23
wenzelm
updated scala path;
file
|
diff
|
annotate
2008-12-03
wenzelm
eliminated traces of old Distribution directory;
file
|
diff
|
annotate
2008-10-04
wenzelm
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
file
|
diff
|
annotate
2008-10-04
wenzelm
replaced ISATOOL by ISABELLE_TOOL;
file
|
diff
|
annotate
2008-08-23
wenzelm
jars: removed obsolete Java process wrapper (cf. new Pure.jar);
file
|
diff
|
annotate
2008-08-16
wenzelm
more robust handling of directory layout variants;
file
|
diff
|
annotate
2008-08-15
wenzelm
jars: build Pure.jar;
file
|
diff
|
annotate
2008-07-19
wenzelm
build jedit plugin only if jedit is available;
file
|
diff
|
annotate
2008-07-18
wenzelm
fixed Scala path;
file
|
diff
|
annotate
2008-07-17
wenzelm
tuned build order;
file
|
diff
|
annotate
2008-07-17
wenzelm
less verbosity;
file
|
diff
|
annotate
2008-07-17
wenzelm
Administrative build -- finish Isabelle source distribution.
file
|
diff
|
annotate
less
more
(0)
tip