15 months ago ago wenzelm clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient;
15 months ago ago wenzelm tuned documentation;
15 months ago ago wenzelm more detailed node_status;
15 months ago ago wenzelm clarified bracketing of messages: [forked [running finished] joined];
15 months ago ago wenzelm NEWS;
15 months ago ago wenzelm clarified reset_notepad;
15 months ago ago wenzelm more robust reset_state: begin/end structure takes precedence over goal/proof structure;
15 months ago ago wenzelm no reset_proof for notepad: begin/end structure takes precedence over goal/proof structure;
15 months ago ago wenzelm clarified signature;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm clarified message;
15 months ago ago wenzelm updated version;
15 months ago ago wenzelm more explicit status for "canceled" command within theory node;
15 months ago ago wenzelm back to post-release mode;
15 months ago ago wenzelm clarified message;
15 months ago ago wenzelm more robust: memoize interrupt (e.g. resource problem) -- avoid multiple attempts;
15 months ago ago wenzelm more robust eval_result: enforce finished result stemming from previous run_process, fail if that was interrupted (e.g. due to resource problems);
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm support multiple inheritance of ML environments, with canonical merge order as in Context.begin_theory;
15 months ago ago wenzelm clarified signature: proper typargs;
15 months ago ago wenzelm merged
15 months ago ago wenzelm export locale content;
15 months ago ago wenzelm tuned;
15 months ago ago Manuel Eberl Some basic materials on filters and topology
15 months ago ago wenzelm merged
15 months ago ago wenzelm more accurate position for auxiliary files;
15 months ago ago wenzelm clarified signature;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442);
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm tuned signature;
15 months ago ago wenzelm clarified signature;
15 months ago ago wenzelm clarified signature: explicit type Locale.registration;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm tuned;
15 months ago ago blanchet updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
15 months ago ago wenzelm prefer "locale begin ... end";
15 months ago ago wenzelm tuned signature;
15 months ago ago wenzelm support Thy_Element in Scala, following ML version;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm clarified signature;
15 months ago ago wenzelm tuned signature;
15 months ago ago wenzelm clarified modules;
15 months ago ago immler tagged some theories
15 months ago ago wenzelm merged
15 months ago ago wenzelm systematic access to command ids;
15 months ago ago wenzelm more robust: Pure entities may lack id;
15 months ago ago Angeliki KoutsoukouArgyraki merged
15 months ago ago Angeliki KoutsoukouArgyraki tagged 21 theories in the Analysis library for the manual
15 months ago ago wenzelm tuned output;
15 months ago ago wenzelm Export.Provider for "isabelle dump" output_dir;
15 months ago ago wenzelm retain original id, which is command_id/exec_id for PIDE;
15 months ago ago wenzelm tuned signature;
15 months ago ago wenzelm tuned;
15 months ago ago wenzelm tuned signature;
15 months ago ago wenzelm clarified ML_environment: ML_write_global requires "Isabelle";
15 months ago ago wenzelm clarified signature: do not expose internal operation;
15 months ago ago wenzelm some NEWS (instead of proper documentation);