6 months ago paulson 2019-04-11 type instantiations for poly_mapping as a real_normed_vector
6 months ago wenzelm 2019-04-11 visible hairline for cursor, even on OpenJDK 11 (amending 2fd73a1a0937);
6 months ago wenzelm 2019-04-11 tuned signature according to ML version;
6 months ago wenzelm 2019-04-11 strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
6 months ago wenzelm 2019-04-11 added document antiquotation option "cartouche";
6 months ago wenzelm 2019-04-11 allow faster navigation of directory hierarchy (reverting 69465c3e3560);
6 months ago wenzelm 2019-04-11 more robust test: avoid spurious Interrupt (stack overflow?) due to List.fun_lub_parametric;
6 months ago wenzelm 2019-04-11 prefer local options;
6 months ago wenzelm 2019-04-11 tuned signature; tuned message;
6 months ago wenzelm 2019-04-11 clarified order;
6 months ago paulson 2019-04-10 merged
6 months ago paulson 2019-04-10 prod/sum fixes
6 months ago paulson 2019-04-10 Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
6 months ago wenzelm 2019-04-10 tuned layout;
6 months ago wenzelm 2019-04-10 updated screenshots;
6 months ago wenzelm 2019-04-10 ignore odd warnings;
6 months ago wenzelm 2019-04-10 tuned whitespace;
6 months ago wenzelm 2019-04-10 merged;
6 months ago wenzelm 2019-04-10 updated for release;
6 months ago wenzelm 2019-04-10 merged
6 months ago wenzelm 2019-04-10 clarified build of standard heaps;
6 months ago wenzelm 2019-04-10 updated for release;
6 months ago wenzelm 2019-04-10 tuned message;
6 months ago wenzelm 2019-04-10 retain copy of required components;
6 months ago wenzelm 2019-04-10 option for build_sessions;
6 months ago wenzelm 2019-04-10 tuned;
6 months ago wenzelm 2019-04-09 support for platform-specific builds on remote server;
6 months ago wenzelm 2019-04-09 more robust: always (re)build platform application bundles;
6 months ago paulson 2019-04-10 The last big tranche of Homology material: invariance of domain; renamings to use generic sum/prod lemmas from their locale
6 months ago paulson 2019-04-09 merged
6 months ago paulson 2019-04-09 More homology material
6 months ago haftmann 2019-04-09 common type class for distributive division
6 months ago haftmann 2019-04-09 regenerated using isabelle regenerate_cooper
6 months ago haftmann 2019-04-09 more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
6 months ago haftmann 2019-04-09 some more explicit document structure
6 months ago paulson 2019-04-09 merged
6 months ago paulson 2019-04-09 new Homology target, depending on HOL-Algebra and HOL-Analysis
6 months ago paulson 2019-04-09 merged
6 months ago paulson 2019-04-08 NEWS on homology
6 months ago paulson 2019-04-08 First tranche of the Homology development: Simplices [dummy commit to run testboard again]
6 months ago wenzelm 2019-04-09 updated to bib2xhtml-20190409: current repository clone;
6 months ago wenzelm 2019-04-09 proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
6 months ago wenzelm 2019-04-09 back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
6 months ago wenzelm 2019-04-09 tuned -- prefer Isar command 'compile_generated_files';
6 months ago wenzelm 2019-04-09 back to more robust "standard" anti-aliasing (reverting f610115ca3d0): sub-pixel rendering can have odd color effects, even on high-end displays;
6 months ago traytel 2019-04-07 NEWS
6 months ago traytel 2019-04-07 merged
6 months ago traytel 2019-04-07 bundle for cardinal syntax
6 months ago wenzelm 2019-04-07 better accessibility of directory content by typing name prefix;
6 months ago wenzelm 2019-04-07 uniform JVM heap options for Isabelle/Scala tools and scalac (again);
6 months ago wenzelm 2019-04-07 proper etc/preferences;
6 months ago wenzelm 2019-04-06 notes about old Java 8 font rendering for low-quality displays;
6 months ago wenzelm 2019-04-06 obsolete -- was mostly about 'export_code';
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