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 -16 +16 +100 +300 +1000 +3000 +10000 tip

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

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

isabelle