| #
dbbbe012 |
|
13-Jan-2020 |
wenzelm <none@none> |
clarified output channel;
|
| #
ab5293cf |
|
23-Oct-2017 |
wenzelm <none@none> |
updated to jdk-8u152, which is for x86_64 only;
|
| #
8214950a |
|
03-Apr-2016 |
wenzelm <none@none> |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
| #
239ff6e6 |
|
10-Mar-2016 |
wenzelm <none@none> |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
| #
00eb33e4 |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle_process is superseded by "isabelle process" tool;
tuned tool usage;
misc updates and tuning of "system" manual;
--HG--
rename : bin/isabelle_process => lib/Tools/process
|
| #
f99ea8aa |
|
08-Mar-2016 |
wenzelm <none@none> |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
| #
a8a749df |
|
08-Mar-2016 |
wenzelm <none@none> |
isabelle console is based on Isabelle/Scala;
|
| #
b75111a3 |
|
03-Mar-2016 |
wenzelm <none@none> |
isabelle console -r" helps to bootstrap Isabelle/Pure;
|
| #
19d8bb66 |
|
03-Jan-2016 |
wenzelm <none@none> |
proper treatment of RAW bootstrap session;
|
| #
ad1da894 |
|
29-Dec-2015 |
wenzelm <none@none> |
isabelle console: print mode "ASCII";
|
| #
0f213f0d |
|
08-Sep-2015 |
wenzelm <none@none> |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
| #
29c34d4e |
|
25-Jul-2014 |
wenzelm <none@none> |
proper mkdir;
|
| #
f7daa1bb |
|
20-Jul-2014 |
wenzelm <none@none> |
provide explicit options file -- avoid multiple Scala/JVM invocation;
|
| #
e950baa1 |
|
20-Jul-2014 |
wenzelm <none@none> |
check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
|
| #
d88379f8 |
|
30-Jun-2014 |
wenzelm <none@none> |
"isabelle tty" is superseded by "isabelle console";
--HG--
rename : lib/Tools/tty => lib/Tools/console
|