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

tuned;
2019-02-25, by wenzelm
clarified signature, notably for hol4isabelle (by Fabian Immler);
2019-02-24, by wenzelm
updated to jedit_build-20190224 (new patches: favorites, glyphvector);
2019-02-24, by wenzelm
fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
2019-02-24, by wenzelm
formal update of patches -- no change of content;
2019-02-24, by wenzelm
removed junk;
2019-02-24, by wenzelm
merged
2019-02-23, by immler
bundles for floatarith notation
2019-02-23, by immler
merged
2019-02-23, by wenzelm
tuned output;
2019-02-23, by wenzelm
more memory fields;
2019-02-23, by wenzelm
obsolete;
2019-02-23, by wenzelm
no more shadowing of Min and Max by Approximation
2019-02-23, by immler
streamlined specification interfaces
2019-02-21, by haftmann
sligthly more interpunctation and qualification
2019-02-21, by haftmann
tuned whitespace
2019-02-21, by haftmann
physical vs. logical events, the latter takes GC time into account;
2019-02-20, by wenzelm
misc tuning and clarification;
2019-02-20, by wenzelm
misc tuning and clarification;
2019-02-20, by wenzelm
tuned;
2019-02-20, by wenzelm
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
2019-02-20, by wenzelm
dropped junk
2019-02-20, by haftmann
suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1);
2019-02-18, by wenzelm
tuned;
2019-02-18, by wenzelm
more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
2019-02-18, by wenzelm
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
2019-02-17, by wenzelm
updated to polyml-test-8fda4fd22441;
2019-02-17, by wenzelm
proper installation of ancient procedure for preorders
2019-02-15, by haftmann
CONTRIBUTORS
2019-02-15, by haftmann
more idiomatic style for local declarations in apply scripts
2019-02-15, by haftmann
clarified meta_digest: export_files is a directive for physical output from existing build database;
2019-02-15, by wenzelm
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
2019-02-15, by wenzelm
clarified name;
2019-02-15, by wenzelm
more operations;
2019-02-14, by wenzelm
more operations;
2019-02-14, by wenzelm
support for RDF/XML representation;
2019-02-14, by wenzelm
tuned according to Scala version;
2019-02-14, by wenzelm
support for XML name spaces;
2019-02-14, by wenzelm
uniform XML header;
2019-02-14, by wenzelm
added lemma
2019-02-13, by nipkow
removed subsumed lemma
2019-02-13, by nipkow
too agressive
2019-02-13, by nipkow
added lemmas
2019-02-13, by nipkow
more robust: avoid duplicate Socket.close;
2019-02-10, by wenzelm
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

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

isabelle