10 months ago wenzelm 2018-09-03 proper polarity of terminated status;
10 months ago Angeliki KoutsoukouArgyraki 2018-09-03 merged
10 months ago Angeliki KoutsoukouArgyraki 2018-09-03 tagged 1 theory: Great_Picard
10 months ago wenzelm 2018-09-02 tuned signature;
10 months ago wenzelm 2018-09-02 clarified signature;
10 months ago wenzelm 2018-09-02 tuned -- more robust against changes;
10 months ago wenzelm 2018-09-02 more robust: avoid race-condition of terminated vs. consolidated;
10 months ago wenzelm 2018-09-02 do not expose obscure flags;
10 months ago wenzelm 2018-09-02 clarified quasi_consolidated state: ensure that exports are present for ok nodes;
10 months ago wenzelm 2018-09-02 clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
10 months ago wenzelm 2018-09-02 tuned documentation;
10 months ago wenzelm 2018-09-02 more detailed node_status;
10 months ago wenzelm 2018-09-02 clarified bracketing of messages: [forked [running finished] joined];
10 months ago wenzelm 2018-09-02 NEWS;
10 months ago wenzelm 2018-09-02 clarified reset_notepad;
10 months ago wenzelm 2018-09-02 more robust reset_state: begin/end structure takes precedence over goal/proof structure;
10 months ago wenzelm 2018-09-02 no reset_proof for notepad: begin/end structure takes precedence over goal/proof structure;
10 months ago wenzelm 2018-09-02 clarified signature;
10 months ago wenzelm 2018-09-02 tuned;
10 months ago wenzelm 2018-09-01 clarified message;
10 months ago wenzelm 2018-09-01 updated version;
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