isabelle: Graph

enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference;
2019-02-10, by wenzelm
updated to isabelle_fonts-20190210;
2019-02-10, by wenzelm
recovered missing glyph;
2019-02-10, by wenzelm
auto-hinting of original DejaVu fonts, but not Isabelle symbols;
2019-02-10, by wenzelm
tuned signature: proper exports;
2019-02-08, by wenzelm
more Haskell operations;
2019-02-08, by wenzelm
Resolved codegen problem with uniformity for formal Laurent series
2019-02-04, by Manuel Eberl
Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
2019-02-04, by Manuel Eberl
Exponentiation by squaring, fast modular exponentiation
2019-02-04, by Manuel Eberl
more thorough File.set_executable, notably for Windows;
2019-02-04, by wenzelm
added executable flag for exports;
2019-02-04, by wenzelm
clarified URL -- avoid odd certificate problem with api.media.atlassian.com;
2019-02-04, by wenzelm
back to stable polyml-5.7.1-8 for now;
2019-02-04, by wenzelm
More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
2019-02-04, by Manuel Eberl
clarified signature: Path.T as in Generated_Files;
2019-02-02, by wenzelm
back to polyml-test-1b2dcf8f5202 -- more stable;
2019-02-02, by wenzelm
updated to polyml-test-b68438d33c69;
2019-02-01, by wenzelm
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
2019-02-01, by wenzelm
NEWS;
2019-01-31, by wenzelm
more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME";
2019-01-31, by wenzelm
merged
2019-01-31, by wenzelm
removed left-over test material (amending bb0a354f6b46);
2019-01-31, by wenzelm
updated to polyml-test-1236652ebd55;
2019-01-31, by wenzelm
added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);
2019-01-31, by wenzelm
adapted to a8ee66876a1a;
2019-01-31, by wenzelm
show file-browser favorites more prominently: access to Isabelle resources;
2019-01-31, by wenzelm
tuned -- sort lines;
2019-01-31, by wenzelm
tuned default layout;
2019-01-31, by wenzelm
clarified default layout: global overview left, local document information right;
2019-01-31, by wenzelm
prefer tail-recursive version (despite 4b99b1214034);
2019-01-31, by wenzelm
proper congruence rule for image operator
2019-01-31, by haftmann
less special syntax: make \<Sum> an ordinary function symbol
2019-01-31, by nipkow
more robust: avoid crash of browser right-click menu;
2019-01-30, by wenzelm
more accurate file position;
2019-01-30, by wenzelm
NEWS;
2019-01-30, by wenzelm
open session ROOT file;
2019-01-30, by wenzelm
support for session information via virtual file-system;
2019-01-30, by wenzelm
clarified modules;
2019-01-30, by wenzelm
tuned;
2019-01-30, by wenzelm
tuned signature;
2019-01-30, by wenzelm
tuned signature;
2019-01-30, by wenzelm
tuned;
2019-01-30, by wenzelm
clarified modules;
2019-01-30, by wenzelm
discontinued obsolete option "checkpoint";
2019-01-30, by wenzelm
updated to jdk-11.0.2+9;
2019-01-29, by wenzelm
eliminated suspicious Unicode;
2019-01-29, by wenzelm
eliminated hard TABs;
2019-01-29, by wenzelm
merged
2019-01-29, by nipkow
moved generalized material
2019-01-29, by nipkow
some new results in group theory
2019-01-29, by paulson
less odd class.second_countable_topology_def
2019-01-28, by immler
revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56;
2019-01-28, by wenzelm
changed precedence of big operators: now like any other function symbol
2019-01-28, by nipkow
more canonical and less specialized syntax
2019-01-28, by nipkow
updated to polyml-test-1b2dcf8f5202;
2019-01-27, by wenzelm
prefer proper strings in OCaml
2019-01-25, by haftmann
more correct parenthesing
2019-01-25, by haftmann
generalized
2019-01-25, by immler
proper operation in weakly-typed Scala (amending 06153e2e0cdb);
2019-01-25, by wenzelm
tuned
2019-01-25, by nipkow
moved retracts
2019-01-25, by nipkow
tagged 4 theories
2019-01-25, by Angeliki KoutsoukouArgyraki
merged
2019-01-24, by paulson
the theory of Equipollence, and moving Fpow from Cardinals into Main
2019-01-24, by paulson
proper treatment of x86_64_32;
2019-01-24, by wenzelm
more appropriate section
2019-01-24, by haftmann
combinator to lift local theory update to theory update
2019-01-23, by haftmann
merged
2019-01-24, by Angeliki KoutsoukouArgyraki
tagged 5 theories
2019-01-24, by Angeliki KoutsoukouArgyraki
obsolete -- updated in Poly/ML;
2019-01-23, by wenzelm
updated to polyml-test-a444f281ccec;
2019-01-23, by wenzelm
prefer x86_64_32 over x86;
2019-01-23, by wenzelm
clarified signature;
2019-01-23, by wenzelm
updated x86_64-linux base line;
2019-01-23, by wenzelm
fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
2019-01-23, by blanchet
tagged 2 theories ie Cartesian_Euclidean_Space Cartesian_Space
2019-01-23, by Angeliki KoutsoukouArgyraki
minor tagging updates in 13 theories
2019-01-22, by Angeliki KoutsoukouArgyraki
merged
2019-01-22, by Angeliki KoutsoukouArgyraki
redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product
2019-01-22, by Angeliki KoutsoukouArgyraki
Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab;
2019-01-22, by wenzelm
really keep lambdas in translation if only predicates are missing
2019-01-22, by blanchet
tune ATP settings
2019-01-22, by blanchet
Added triangular numbers
2018-12-14, by Manuel Eberl
keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb);
2019-01-22, by wenzelm
merged
2019-01-22, by wenzelm
use polyml-test-0a6ebca445fc by default: already quite stable;
2019-01-22, by wenzelm
renamings and new material
2019-01-22, by paulson
merged
2019-01-22, by paulson
some renamings and a bit of new material
2019-01-22, by paulson
slightly more conventional naming schema
2019-01-21, by haftmann
Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space
2019-01-21, by haftmann
updated news
2019-01-21, by blanchet
get rid of visibility in MaSh -- it slows it down more than it helps
2019-01-21, by blanchet
merged
2019-01-21, by wenzelm
updated polyml platform: 32=x86_64_32;
2019-01-21, by wenzelm
more thorough purge_platforms;
2019-01-21, by wenzelm