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