| #
fd3ef1c4 |
|
19-May-2018 |
wenzelm <none@none> |
support for build_database_server (PostgreSQL);
clarified signature;
|
| #
28707d20 |
|
18-May-2018 |
wenzelm <none@none> |
tuned;
|
| #
f9859169 |
|
18-May-2018 |
wenzelm <none@none> |
support Store with options;
|
| #
b23addf1 |
|
17-May-2018 |
wenzelm <none@none> |
clarified signature;
|
| #
82bd871a |
|
09-Feb-2018 |
wenzelm <none@none> |
more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);
|
| #
55614921 |
|
27-Jan-2018 |
wenzelm <none@none> |
proper signature (amending c4e9e0c50487);
|
| #
bb965957 |
|
23-Jan-2018 |
wenzelm <none@none> |
treat sessions as entities with defining position;
tuned signature;
|
| #
a8fbe5f2 |
|
19-Jan-2018 |
wenzelm <none@none> |
formal treatment of documentation names;
|
| #
c11192ba |
|
16-Dec-2017 |
wenzelm <none@none> |
added document antiquotation @{session name};
renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
|
| #
661414d1 |
|
11-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
5f140233 |
|
07-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
88ebc184 |
|
07-Nov-2017 |
wenzelm <none@none> |
clarifified selection: always wrt. build_graph structure;
tuned signature;
|
| #
f332f17b |
|
31-Oct-2017 |
wenzelm <none@none> |
tuned;
|
| #
aa29f847 |
|
12-Oct-2017 |
wenzelm <none@none> |
clarified signature;
|
| #
ef1b5641 |
|
07-Oct-2017 |
wenzelm <none@none> |
clarified signature;
|
| #
5cd6246b |
|
07-Oct-2017 |
wenzelm <none@none> |
proper output of raw ML;
|
| #
92bbf85d |
|
29-Sep-2017 |
wenzelm <none@none> |
more informative loaded_theories: dependencies and syntax;
|
| #
22315146 |
|
28-Sep-2017 |
wenzelm <none@none> |
session-qualified theory names are mandatory;
|
| #
826661e3 |
|
21-Apr-2017 |
wenzelm <none@none> |
eliminated default_qualifier: just a constant;
|
| #
d7d57a2d |
|
12-Apr-2017 |
wenzelm <none@none> |
clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
|
| #
a54910e6 |
|
12-Apr-2017 |
wenzelm <none@none> |
clarified directories;
--HG--
rename : src/Pure/Tools/ml_console.scala => src/Pure/ML/ml_console.scala
rename : src/Pure/Tools/ml_process.scala => src/Pure/ML/ml_process.scala
rename : src/Pure/Tools/ml_statistics.scala => src/Pure/ML/ml_statistics.scala
|