isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle