2 months ago ago wenzelm formal update of patches -- no change of content;
2 months ago ago wenzelm removed junk;
2 months ago ago immler merged
2 months ago ago immler bundles for floatarith notation
2 months ago ago wenzelm merged
2 months ago ago wenzelm tuned output;
2 months ago ago wenzelm more memory fields;
2 months ago ago wenzelm obsolete;
2 months ago ago immler no more shadowing of Min and Max by Approximation
2 months ago ago haftmann streamlined specification interfaces
2 months ago ago haftmann sligthly more interpunctation and qualification
2 months ago ago haftmann tuned whitespace
2 months ago ago immler expose reader in ML_Lex
2 months ago ago wenzelm physical vs. logical events, the latter takes GC time into account;
2 months ago ago wenzelm misc tuning and clarification;
2 months ago ago wenzelm misc tuning and clarification;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
2 months ago ago haftmann dropped junk
3 months ago ago wenzelm suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1);
3 months ago ago wenzelm tuned;
3 months ago ago wenzelm more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
3 months ago ago wenzelm clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
3 months ago ago wenzelm updated to polyml-test-8fda4fd22441;
3 months ago ago haftmann proper installation of ancient procedure for preorders
3 months ago ago haftmann CONTRIBUTORS
3 months ago ago haftmann more idiomatic style for local declarations in apply scripts
3 months ago ago immler expose generic setup of ML_File
3 months ago ago wenzelm clarified meta_digest: export_files is a directive for physical output from existing build database;
3 months ago ago wenzelm clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
3 months ago ago wenzelm clarified name;
3 months ago ago wenzelm more operations;
3 months ago ago wenzelm more operations;
3 months ago ago wenzelm support for RDF/XML representation;
3 months ago ago wenzelm tuned according to Scala version;
3 months ago ago wenzelm support for XML name spaces;
3 months ago ago wenzelm uniform XML header;
3 months ago ago nipkow added lemma
3 months ago ago nipkow removed subsumed lemma
3 months ago ago nipkow too agressive
3 months ago ago nipkow added lemmas
3 months ago ago wenzelm more robust: avoid duplicate Socket.close;
3 months ago ago wenzelm enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference;
3 months ago ago wenzelm updated to isabelle_fonts-20190210;
3 months ago ago wenzelm recovered missing glyph;
3 months ago ago wenzelm auto-hinting of original DejaVu fonts, but not Isabelle symbols;
3 months ago ago wenzelm tuned signature: proper exports;
3 months ago ago wenzelm more Haskell operations;
3 months ago ago Manuel Eberl Resolved codegen problem with uniformity for formal Laurent series
3 months ago ago Manuel Eberl Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
3 months ago ago Manuel Eberl Exponentiation by squaring, fast modular exponentiation
3 months ago ago wenzelm more thorough File.set_executable, notably for Windows;
3 months ago ago wenzelm added executable flag for exports;
3 months ago ago nipkow added lemmas
3 months ago ago nipkow .
3 months ago ago nipkow added separate Prim_Graph.thy for the graph theory proofs
3 months ago ago lammich merged
3 months ago ago lammich Verified graph parsing form list
3 months ago ago nipkow moved stuff
3 months ago ago lammich Removed sorries from weighted_ugraph