8 months ago wenzelm 2018-09-08 merged
8 months ago wenzelm 2018-09-08 ensure foundational order of commits, taking Pure as implicit starting point;
8 months ago wenzelm 2018-09-08 more accurate output;
8 months ago wenzelm 2018-09-08 clarified defaults; more uniform treatment of "disabled" case;
8 months ago wenzelm 2018-09-08 more accurate output;
8 months ago wenzelm 2018-09-08 support for watchdog_timeout;
8 months ago wenzelm 2018-09-08 tuned signature;
8 months ago wenzelm 2018-09-08 tuned signature;
8 months ago wenzelm 2018-09-08 removed junk;
8 months ago wenzelm 2018-09-08 tuned output;
8 months ago haftmann 2018-09-08 more appropriate conversion of HOL character literals to character codes: symbolic newline is interpreted as 0x10
8 months ago haftmann 2018-09-08 more explicit notion of ord value for HOL characters
8 months ago haftmann 2018-09-08 left-over rename from 3f9bb52082c4
8 months ago wenzelm 2018-09-07 merged
8 months ago wenzelm 2018-09-07 continuously clean frontier of already committed theories: much less resource requirements;
8 months ago wenzelm 2018-09-07 tuned signature;
8 months ago nipkow 2018-09-07 missing name
8 months ago wenzelm 2018-09-07 tuned whitespace;
8 months ago wenzelm 2018-09-07 merged
8 months ago wenzelm 2018-09-07 proper tast_context (amending 5f44ad150ed8);
8 months ago wenzelm 2018-09-07 clarified error progress and error_rc;
8 months ago wenzelm 2018-09-07 tuned signature;
8 months ago wenzelm 2018-09-07 clarified rc;
8 months ago wenzelm 2018-09-07 tuned signature;
8 months ago wenzelm 2018-09-07 dump aspects asynchronously;
8 months ago wenzelm 2018-09-07 record status of already committed nodes; tuned signature;
8 months ago wenzelm 2018-09-07 tuned;
8 months ago wenzelm 2018-09-07 tuned signature;
8 months ago wenzelm 2018-09-07 tuned;
8 months ago nipkow 2018-09-07 added Let_def
8 months ago nipkow 2018-09-06 merged
8 months ago nipkow 2018-09-06 added int and real
8 months ago wenzelm 2018-09-06 simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
8 months ago wenzelm 2018-09-06 setup option ML_system for special values that cannot be rebound within regular ML;
8 months ago wenzelm 2018-09-05 support dynamic commit of consilidated nodes; tuned signature;
8 months ago wenzelm 2018-09-05 tuned signature;
8 months ago wenzelm 2018-09-05 clarified Use_Theories_State;
8 months ago nipkow 2018-09-05 tuned
8 months ago nipkow 2018-09-05 merged
8 months ago nipkow 2018-09-05 tuned doc
8 months ago wenzelm 2018-09-04 proper binding position for the resulting definition command, not this source file;
8 months ago Lars Hupel 2018-08-30 material on finite sets
8 months ago wenzelm 2018-09-04 support for watchdog_timeout;
8 months ago wenzelm 2018-09-04 tuned;
8 months ago wenzelm 2018-09-04 tuned;
8 months ago wenzelm 2018-09-04 tuned -- prefer immutable data;
8 months ago wenzelm 2018-09-04 tuned signature;
8 months ago wenzelm 2018-09-04 clarified Nodes_Status; tuned messages;
8 months ago nipkow 2018-09-04 tuned
8 months ago nipkow 2018-09-03 tuned
8 months ago wenzelm 2018-09-03 more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports;
8 months ago wenzelm 2018-09-03 more detailed progress;
8 months ago wenzelm 2018-09-03 more informative node_status;
8 months ago wenzelm 2018-09-03 tuned signature;
8 months ago wenzelm 2018-09-03 more robust default options, notably for node consolidation;
8 months ago wenzelm 2018-09-03 tuned;
8 months ago wenzelm 2018-09-03 more robust: load_theories after consumer is installed;
8 months ago wenzelm 2018-09-03 merged
8 months ago wenzelm 2018-09-03 proper polarity of terminated status;
8 months ago Angeliki KoutsoukouArgyraki 2018-09-03 merged