| #
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
| #
8441abca |
|
27-Oct-2014 |
wenzelm <none@none> |
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
|
| #
65f3ee61 |
|
23-Jul-2014 |
wenzelm <none@none> |
more workarounds for scalac;
|
| #
863524c3 |
|
23-Apr-2014 |
wenzelm <none@none> |
updated workaround;
|
| #
cb5dd08c |
|
12-Sep-2013 |
wenzelm <none@none> |
tuned comments;
|
| #
61bb1dbf |
|
07-Sep-2013 |
wenzelm <none@none> |
odd workaround for scalac to enable nohup;
|
| #
ba8cdb44 |
|
05-Sep-2012 |
wenzelm <none@none> |
eliminated potentially confusing terminology of Scala "layer";
--HG--
extra : rebase_source : 41ab848ec8aa777e906b6bbae5026666f025f458
|
| #
aadb4d66 |
|
28-Aug-2012 |
wenzelm <none@none> |
more formal build_doc tool (Admin only);
removed some doc-src junk;
|
| #
7c6b5fdc |
|
06-Aug-2012 |
wenzelm <none@none> |
discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
|
| #
d563eedf |
|
24-Jul-2012 |
wenzelm <none@none> |
rail no longer exists;
|
| #
3f0b1b0d |
|
09-Apr-2012 |
wenzelm <none@none> |
slightly faster default compilation of Isabelle/Scala;
|
| #
04f189e1 |
|
26-Mar-2012 |
wenzelm <none@none> |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
| #
f961fc04 |
|
14-Mar-2012 |
haftmann <none@none> |
doc-src build option (for emerging mira configuration)
|
| #
6168a9c2 |
|
07-Nov-2011 |
wenzelm <none@none> |
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
--HG--
rename : src/Pure/System/Java_Ext_Dirs.java => src/Tools/JVM/Java_Ext_Dirs.java
rename : lib/scripts/java_ext_dirs => src/Tools/JVM/java_ext_dirs
|
| #
45cbab39 |
|
26-Sep-2011 |
wenzelm <none@none> |
ensure Isabelle env;
|
| #
1014fd11 |
|
23-Jun-2011 |
wenzelm <none@none> |
provide Isabelle/Scala environment as Java extension, instead of user classpath
(which is subject to adhoc changes);
|
| #
73aa6010 |
|
08-Jun-2011 |
wenzelm <none@none> |
support fresh build of jars;
prefer pushd/popd, to avoid unclarity about fail/exit within sub-shell;
|
| #
474528f2 |
|
11-Jan-2010 |
wenzelm <none@none> |
clarified terminology;
|
| #
58595258 |
|
09-Jan-2010 |
wenzelm <none@none> |
pass build error code;
|
| #
5964f6c7 |
|
06-Jan-2010 |
wenzelm <none@none> |
tuned Isabelle/Scala build;
--HG--
rename : src/Pure/mk-jars => src/Pure/build-jars
|
| #
479b6aec |
|
06-Jan-2010 |
wenzelm <none@none> |
simplified build/bootstrap of graph browser -- avoid make;
|
| #
fba045c4 |
|
06-Jan-2010 |
wenzelm <none@none> |
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
|
| #
b5f6c7fa |
|
28-Jun-2009 |
wenzelm <none@none> |
clarified "jars" target;
|
| #
76a0bc38 |
|
28-Dec-2008 |
wenzelm <none@none> |
disabled old jedit plugin;
|
| #
85efe8c9 |
|
23-Dec-2008 |
wenzelm <none@none> |
updated scala path;
|
| #
5a5a087a |
|
03-Dec-2008 |
wenzelm <none@none> |
eliminated traces of old Distribution directory;
|
| #
f208fd4b |
|
04-Oct-2008 |
wenzelm <none@none> |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
| #
4ad1829c |
|
04-Oct-2008 |
wenzelm <none@none> |
replaced ISATOOL by ISABELLE_TOOL;
|
| #
ad5c235c |
|
23-Aug-2008 |
wenzelm <none@none> |
jars: removed obsolete Java process wrapper (cf. new Pure.jar);
|
| #
cb90d588 |
|
16-Aug-2008 |
wenzelm <none@none> |
more robust handling of directory layout variants;
|
| #
b724d24d |
|
15-Aug-2008 |
wenzelm <none@none> |
jars: build Pure.jar;
|
| #
9d793af4 |
|
19-Jul-2008 |
wenzelm <none@none> |
build jedit plugin only if jedit is available;
|
| #
b6324e17 |
|
18-Jul-2008 |
wenzelm <none@none> |
fixed Scala path;
|
| #
a910ed19 |
|
17-Jul-2008 |
wenzelm <none@none> |
tuned build order;
|
| #
5882ebcd |
|
17-Jul-2008 |
wenzelm <none@none> |
less verbosity;
|
| #
6da43ce7 |
|
17-Jul-2008 |
wenzelm <none@none> |
Administrative build -- finish Isabelle source distribution.
|