6 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
6 months ago wenzelm 2019-04-05 option to bypass ttfautohint for experimentation (it can have adverse effects);
6 months ago wenzelm 2019-04-05 clarified settings: allow for more Java versions;
6 months ago wenzelm 2019-04-05 proper default;
6 months ago wenzelm 2019-04-05 clarified;
6 months ago wenzelm 2019-04-05 auxiliary operation for common uses of 'compile_generated_files';
6 months ago paulson 2019-04-05 merged
6 months ago paulson 2019-04-05 Free_Abelian_Groups finally working; fixed some duplicates; cleaned up some proofs
6 months ago paulson 2019-04-05 merged
6 months ago paulson 2019-04-05 fixes for Free_Abelian_Groups
6 months ago wenzelm 2019-04-05 updated screenshot;
6 months ago wenzelm 2019-04-04 more NEWS;
6 months ago wenzelm 2019-04-04 tuned;
6 months ago wenzelm 2019-04-04 merged
6 months ago wenzelm 2019-04-04 tuned;
6 months ago wenzelm 2019-04-04 documentation for generated files;
6 months ago wenzelm 2019-04-04 tuned;
6 months ago wenzelm 2019-04-04 type Path.binding may be empty: check later via proper_binding; clarified 'export_prefix' default;
6 months ago wenzelm 2019-04-04 clarified export_files: Isabelle_System.copy_file_base preserves given directory sub-structure; tuned concrete syntax;
6 months ago wenzelm 2019-04-04 proper .exe path for export;
6 months ago wenzelm 2019-04-04 updated to sqlite-jdbc-3.27.2.1;
6 months ago wenzelm 2019-04-04 added command 'compile_generated_files'; tuned signature;
6 months ago wenzelm 2019-04-04 tuned signature: more operations;
6 months ago wenzelm 2019-04-03 tuned signature;
6 months ago wenzelm 2019-04-03 tuned signature;
6 months ago wenzelm 2019-04-03 clarified signature: more explicit operations for corresponding Isar commands;
6 months ago wenzelm 2019-04-03 proper URL;
6 months ago paulson 2019-04-04 fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!)
6 months ago paulson 2019-04-04 More group theory. Sum and product indexed by the non-neutral part of a set
6 months ago paulson 2019-04-03 theory Poly_Mapping
6 months ago paulson 2019-04-03 new theory Library/Poly_Mapping, of almost-everywhere-zero functions
6 months ago paulson 2019-04-03 Material concerning exact sequences of groups
6 months ago paulson 2019-04-03 Products and sums of a family of groups
6 months ago paulson 2019-04-03 new group theory material, mostly ported from HOL Light
6 months ago wenzelm 2019-04-03 UHD is standard, HD non-standard;
6 months ago wenzelm 2019-04-02 updated for release;
6 months ago wenzelm 2019-04-02 merged
6 months ago wenzelm 2019-04-02 Added tag Isabelle2019-RC0 for changeset 6f2ab7f150f6
6 months ago wenzelm 2019-04-02 updated for release;
6 months ago wenzelm 2019-04-02 eliminated hard TABs;
6 months ago wenzelm 2019-04-02 updated for release;
6 months ago wenzelm 2019-04-02 tuned;
6 months ago paulson 2019-04-02 The order of a group now follows the HOL Light definition, which is more general
6 months ago paulson 2019-04-02 merged
6 months ago paulson 2019-04-02 merged
6 months ago paulson 2019-04-02 some new group theory results: integer group, trivial group, etc.
6 months ago wenzelm 2019-04-02 more convenient export;
6 months ago wenzelm 2019-04-02 misc tuning for release;
6 months ago wenzelm 2019-04-02 more material for release;
6 months ago wenzelm 2019-04-02 misc tuning for release;
6 months ago wenzelm 2019-04-01 'code_reflect' only supports new-style 'file_prefix'; avoid fragile file "$ISABELLE_TMP/rat.ML";
6 months ago wenzelm 2019-04-01 tuned signature -- more exports;
6 months ago wenzelm 2019-04-01 tuned signature;
6 months ago paulson 2019-04-01 A few results in Algebra, and bits for Analysis
6 months ago haftmann 2019-03-30 experimental commands for proof sketching and exploration
6 months ago haftmann 2019-03-30 irrelevant
6 months ago wenzelm 2019-03-30 more PIDE markup and hyperlinks;
6 months ago wenzelm 2019-03-30 clarified signature: more explicit type Path.binding; tuned;
6 months ago wenzelm 2019-03-30 more LaTeX symbols;
6 months ago wenzelm 2019-03-29 tuned signature -- more operations;