10 months ago wenzelm 2018-09-01 more explicit status for "canceled" command within theory node;
10 months ago wenzelm 2018-09-01 back to post-release mode;
10 months ago wenzelm 2018-09-01 clarified message;
10 months ago wenzelm 2018-09-01 more robust: memoize interrupt (e.g. resource problem) -- avoid multiple attempts;
10 months ago wenzelm 2018-09-01 more robust eval_result: enforce finished result stemming from previous run_process, fail if that was interrupted (e.g. due to resource problems);
10 months ago wenzelm 2018-09-01 tuned;
10 months ago wenzelm 2018-08-31 support multiple inheritance of ML environments, with canonical merge order as in Context.begin_theory;
10 months ago wenzelm 2018-08-31 clarified signature: proper typargs;
10 months ago wenzelm 2018-08-31 merged
10 months ago wenzelm 2018-08-31 export locale content; read_theory_names: proper classrel, arities; tuned signature;
10 months ago wenzelm 2018-08-31 tuned;
10 months ago Manuel Eberl 2018-08-30 Some basic materials on filters and topology
10 months ago wenzelm 2018-08-30 merged
10 months ago wenzelm 2018-08-30 more accurate position for auxiliary files;
10 months ago wenzelm 2018-08-30 clarified signature;
10 months ago wenzelm 2018-08-30 tuned;
10 months ago wenzelm 2018-08-30 more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442);
10 months ago wenzelm 2018-08-30 tuned;
10 months ago wenzelm 2018-08-30 tuned signature;
10 months ago wenzelm 2018-08-30 clarified signature;
10 months ago wenzelm 2018-08-30 clarified signature: explicit type Locale.registration;
10 months ago wenzelm 2018-08-30 tuned;
10 months ago wenzelm 2018-08-30 tuned;
10 months ago blanchet 2018-08-30 updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
10 months ago wenzelm 2018-08-29 prefer "locale begin ... end";
10 months ago wenzelm 2018-08-29 tuned signature;
10 months ago wenzelm 2018-08-29 support Thy_Element in Scala, following ML version;
10 months ago wenzelm 2018-08-29 tuned;
10 months ago wenzelm 2018-08-29 tuned;
10 months ago wenzelm 2018-08-29 tuned;
10 months ago wenzelm 2018-08-29 clarified signature;
10 months ago wenzelm 2018-08-29 tuned signature;
10 months ago wenzelm 2018-08-29 clarified modules;
10 months ago immler 2018-08-29 tagged some theories
10 months ago wenzelm 2018-08-28 merged
10 months ago wenzelm 2018-08-28 systematic access to command ids;
10 months ago wenzelm 2018-08-28 more robust: Pure entities may lack id;
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 merged
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
10 months ago wenzelm 2018-08-28 tuned output;
10 months ago wenzelm 2018-08-28 Export.Provider for "isabelle dump" output_dir;
10 months ago wenzelm 2018-08-28 retain original id, which is command_id/exec_id for PIDE; tuned;
10 months ago wenzelm 2018-08-28 tuned signature;
10 months ago wenzelm 2018-08-28 tuned;
10 months ago wenzelm 2018-08-28 tuned signature;
10 months ago wenzelm 2018-08-28 clarified ML_environment: ML_write_global requires "Isabelle";
10 months ago wenzelm 2018-08-28 clarified signature: do not expose internal operation;
10 months ago wenzelm 2018-08-27 some NEWS (instead of proper documentation);
10 months ago wenzelm 2018-08-27 clarified signature;
10 months ago wenzelm 2018-08-27 simplified markup;
10 months ago wenzelm 2018-08-27 explicit setup of operations: avoid hardwired stuff;
10 months ago wenzelm 2018-08-27 clarified environment: allow "read>write" specification;
10 months ago wenzelm 2018-08-27 tuned;
10 months ago wenzelm 2018-08-27 tuned;
10 months ago wenzelm 2018-08-27 check environment name;
10 months ago wenzelm 2018-08-27 support named ML environments, notably "Isabelle", "SML"; more uniform options ML_read_global, ML_write_global; clarified bootstrap environment;
10 months ago wenzelm 2018-08-27 tuned;
10 months ago wenzelm 2018-08-26 tuned;
10 months ago wenzelm 2018-08-26 clarified signature;
10 months ago wenzelm 2018-08-26 clarified -- prefer new 'ML_export' command;