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