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