2 months ago wenzelm 2019-02-04 back to stable polyml-5.7.1-8 for now;
2 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
2 months ago wenzelm 2019-02-02 clarified signature: Path.T as in Generated_Files;
2 months ago wenzelm 2019-02-02 back to polyml-test-1b2dcf8f5202 -- more stable;
2 months ago wenzelm 2019-02-01 updated to polyml-test-b68438d33c69;
2 months ago wenzelm 2019-02-01 clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
2 months ago wenzelm 2019-01-31 NEWS;
2 months ago wenzelm 2019-01-31 more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME";
2 months ago wenzelm 2019-01-31 merged
2 months ago wenzelm 2019-01-31 removed left-over test material (amending bb0a354f6b46);
2 months ago wenzelm 2019-01-31 updated to polyml-test-1236652ebd55;
2 months ago wenzelm 2019-01-31 added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
2 months ago wenzelm 2019-01-31 adapted to a8ee66876a1a;
2 months ago wenzelm 2019-01-31 show file-browser favorites more prominently: access to Isabelle resources;
2 months ago wenzelm 2019-01-31 tuned -- sort lines;
2 months ago wenzelm 2019-01-31 tuned default layout;
2 months ago wenzelm 2019-01-31 clarified default layout: global overview left, local document information right;
2 months ago wenzelm 2019-01-31 prefer tail-recursive version (despite 4b99b1214034);
2 months ago haftmann 2019-01-31 proper congruence rule for image operator
2 months ago nipkow 2019-01-31 less special syntax: make \<Sum> an ordinary function symbol
2 months ago wenzelm 2019-01-30 more robust: avoid crash of browser right-click menu;
2 months ago wenzelm 2019-01-30 more accurate file position;
2 months ago wenzelm 2019-01-30 NEWS;
2 months ago wenzelm 2019-01-30 open session ROOT file;
2 months ago wenzelm 2019-01-30 support for session information via virtual file-system;
2 months ago wenzelm 2019-01-30 clarified modules;
2 months ago wenzelm 2019-01-30 tuned;
2 months ago wenzelm 2019-01-30 tuned signature;
2 months ago wenzelm 2019-01-30 tuned signature;
2 months ago wenzelm 2019-01-30 tuned;
2 months ago wenzelm 2019-01-30 clarified modules;
2 months ago wenzelm 2019-01-30 discontinued obsolete option "checkpoint";
2 months ago wenzelm 2019-01-29 updated to jdk-11.0.2+9;
2 months ago wenzelm 2019-01-29 eliminated suspicious Unicode;
2 months ago wenzelm 2019-01-29 eliminated hard TABs;
2 months ago nipkow 2019-01-29 merged
2 months ago nipkow 2019-01-29 moved generalized material
2 months ago paulson 2019-01-29 some new results in group theory
2 months ago immler 2019-01-28 less odd class.second_countable_topology_def
2 months ago wenzelm 2019-01-28 revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
2 months ago nipkow 2019-01-28 changed precedence of big operators: now like any other function symbol
2 months ago nipkow 2019-01-28 more canonical and less specialized syntax
2 months ago wenzelm 2019-01-27 updated to polyml-test-1b2dcf8f5202;
2 months ago haftmann 2019-01-25 prefer proper strings in OCaml
2 months ago haftmann 2019-01-25 more correct parenthesing
2 months ago immler 2019-01-25 generalized
2 months ago wenzelm 2019-01-25 proper operation in weakly-typed Scala (amending 06153e2e0cdb);
2 months ago nipkow 2019-01-25 tuned
2 months ago nipkow 2019-01-25 moved retracts
2 months ago Angeliki KoutsoukouArgyraki 2019-01-25 tagged 4 theories
2 months ago paulson 2019-01-24 merged
2 months ago paulson 2019-01-24 the theory of Equipollence, and moving Fpow from Cardinals into Main
2 months ago wenzelm 2019-01-24 proper treatment of x86_64_32;
2 months ago haftmann 2019-01-24 more appropriate section
2 months ago haftmann 2019-01-23 combinator to lift local theory update to theory update
2 months ago Angeliki KoutsoukouArgyraki 2019-01-24 merged
2 months ago Angeliki KoutsoukouArgyraki 2019-01-24 tagged 5 theories
2 months ago wenzelm 2019-01-23 obsolete -- updated in Poly/ML;
2 months ago wenzelm 2019-01-23 updated to polyml-test-a444f281ccec;
2 months ago wenzelm 2019-01-23 prefer x86_64_32 over x86;