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