14 months ago wenzelm 2018-08-30 tuned;
14 months ago wenzelm 2018-08-30 tuned signature;
14 months ago wenzelm 2018-08-30 clarified signature;
14 months ago wenzelm 2018-08-30 clarified signature: explicit type Locale.registration;
14 months ago wenzelm 2018-08-30 tuned;
14 months ago wenzelm 2018-08-30 tuned;
14 months ago blanchet 2018-08-30 updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
14 months ago wenzelm 2018-08-29 prefer "locale begin ... end";
14 months ago wenzelm 2018-08-29 tuned signature;
14 months ago wenzelm 2018-08-29 support Thy_Element in Scala, following ML version;
14 months ago wenzelm 2018-08-29 tuned;
14 months ago wenzelm 2018-08-29 tuned;
14 months ago wenzelm 2018-08-29 tuned;
14 months ago wenzelm 2018-08-29 clarified signature;
14 months ago wenzelm 2018-08-29 tuned signature;
14 months ago wenzelm 2018-08-29 clarified modules;
14 months ago immler 2018-08-29 tagged some theories
14 months ago wenzelm 2018-08-28 merged
14 months ago wenzelm 2018-08-28 systematic access to command ids;
14 months ago wenzelm 2018-08-28 more robust: Pure entities may lack id;
14 months ago Angeliki KoutsoukouArgyraki 2018-08-28 merged
14 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
14 months ago wenzelm 2018-08-28 tuned output;
14 months ago wenzelm 2018-08-28 Export.Provider for "isabelle dump" output_dir;
14 months ago wenzelm 2018-08-28 retain original id, which is command_id/exec_id for PIDE; tuned;
14 months ago wenzelm 2018-08-28 tuned signature;
14 months ago wenzelm 2018-08-28 tuned;
14 months ago wenzelm 2018-08-28 tuned signature;
14 months ago wenzelm 2018-08-28 clarified ML_environment: ML_write_global requires "Isabelle";
14 months ago wenzelm 2018-08-28 clarified signature: do not expose internal operation;
14 months ago wenzelm 2018-08-27 some NEWS (instead of proper documentation);
14 months ago wenzelm 2018-08-27 clarified signature;
14 months ago wenzelm 2018-08-27 simplified markup;
14 months ago wenzelm 2018-08-27 explicit setup of operations: avoid hardwired stuff;
14 months ago wenzelm 2018-08-27 clarified environment: allow "read>write" specification;
14 months ago wenzelm 2018-08-27 tuned;
14 months ago wenzelm 2018-08-27 tuned;
14 months ago wenzelm 2018-08-27 check environment name;
14 months ago wenzelm 2018-08-27 support named ML environments, notably "Isabelle", "SML"; more uniform options ML_read_global, ML_write_global; clarified bootstrap environment;
14 months ago wenzelm 2018-08-27 tuned;
14 months ago wenzelm 2018-08-26 tuned;
14 months ago wenzelm 2018-08-26 clarified signature;
14 months ago wenzelm 2018-08-26 clarified -- prefer new 'ML_export' command;
14 months ago Lars Hupel 2018-08-25 merged
14 months ago Lars Hupel 2018-08-25 material on finite maps
14 months ago wenzelm 2018-08-25 more uniform cartouche syntax; more documentation;
14 months ago wenzelm 2018-08-25 more uniform cartouche syntax;
14 months ago wenzelm 2018-08-25 more robust exit: avoid later Consolidate_Execution with handle_raw_edits (cf. 2fd3a6d6ba2e);
14 months ago wenzelm 2018-08-25 tuned message;
14 months ago wenzelm 2018-08-25 clarified message;
14 months ago wenzelm 2018-08-25 actually ensure globally unique counter results (amending a5853334c179);
14 months ago wenzelm 2018-08-25 retain original PolyML.pointerEq;
14 months ago haftmann 2018-08-24 some modernization of notation
14 months ago haftmann 2018-08-24 deprecation of ASCII syntax for indexed big operators
14 months ago nipkow 2018-08-24 tuned
14 months ago nipkow 2018-08-24 merged
14 months ago nipkow 2018-08-24 tuned proofs
14 months ago haftmann 2018-08-23 tuned
14 months ago haftmann 2018-08-23 simplified syntax setup for big operators under image, retaining input abbreviations for backward compatibility
14 months ago haftmann 2018-08-23 dropped redundant syntax translation rules for big operators