2 months ago ago wenzelm misc tuning and modernization;
2 months ago ago wenzelm merged
2 months ago ago wenzelm clarified signature;
2 months ago ago wenzelm clarified signature: more general types;
2 months ago ago wenzelm afford redundant whitespace for improved readability;
2 months ago ago haftmann avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
2 months ago ago wenzelm tuned signature;
2 months ago ago wenzelm clarified signature -- allow more re-use;
2 months ago ago wenzelm concrete predicates from "Dublin Core";
2 months ago ago wenzelm clarified signature;
2 months ago ago wenzelm tuned signature;
2 months ago ago wenzelm tuned document;
2 months ago ago wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
2 months ago ago wenzelm more uniform session_system_mode (see also e57416b649d5);
2 months ago ago wenzelm more implicit reload, similar to VSCode;
2 months ago ago wenzelm clarified signature;
2 months ago ago wenzelm tuned proofs -- eliminated odd case_tac;
2 months ago ago wenzelm more scalable on 32-bit Poly/ML;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm more line spacing, notably for ttfautohint (see 4791988fcbc4);
2 months ago ago wenzelm more compact representation: approx. factor 2;
2 months ago ago wenzelm more scalable on 32-bit Poly/ML;
2 months ago ago wenzelm clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm tuned;
2 months ago ago wenzelm clarified signature, notably for hol4isabelle (by Fabian Immler);
2 months ago ago wenzelm updated to jedit_build-20190224 (new patches: favorites, glyphvector);
2 months ago ago wenzelm fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
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
3 months ago ago haftmann streamlined specification interfaces
3 months ago ago haftmann sligthly more interpunctation and qualification
3 months ago ago haftmann tuned whitespace
3 months ago ago immler expose reader in ML_Lex
3 months ago ago wenzelm physical vs. logical events, the latter takes GC time into account;
3 months ago ago wenzelm misc tuning and clarification;
3 months ago ago wenzelm misc tuning and clarification;
3 months ago ago wenzelm tuned;
3 months ago ago wenzelm updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
3 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;