10 months ago wenzelm 2018-09-05 tuned signature;
10 months ago wenzelm 2018-09-05 clarified Use_Theories_State;
10 months ago nipkow 2018-09-05 tuned
10 months ago nipkow 2018-09-05 merged
10 months ago nipkow 2018-09-05 tuned doc
10 months ago wenzelm 2018-09-04 proper binding position for the resulting definition command, not this source file;
10 months ago Lars Hupel 2018-08-30 material on finite sets
10 months ago wenzelm 2018-09-04 support for watchdog_timeout;
10 months ago wenzelm 2018-09-04 tuned;
10 months ago wenzelm 2018-09-04 tuned;
10 months ago wenzelm 2018-09-04 tuned -- prefer immutable data;
10 months ago wenzelm 2018-09-04 tuned signature;
10 months ago wenzelm 2018-09-04 clarified Nodes_Status; tuned messages;
10 months ago nipkow 2018-09-04 tuned
10 months ago nipkow 2018-09-03 tuned
10 months ago wenzelm 2018-09-03 more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports;
10 months ago wenzelm 2018-09-03 more detailed progress;
10 months ago wenzelm 2018-09-03 more informative node_status;
10 months ago wenzelm 2018-09-03 tuned signature;
10 months ago wenzelm 2018-09-03 more robust default options, notably for node consolidation;
10 months ago wenzelm 2018-09-03 tuned;
10 months ago wenzelm 2018-09-03 more robust: load_theories after consumer is installed;
10 months ago wenzelm 2018-09-03 merged
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;