Diffusion Isabelle 3904cfde1aa9

merged
3904cfde1aa9
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLEe30dbfa53b0d: new-style Greater lemmas
rISABELLE200ec7c4c1a5: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rISABELLE3904cfde1aa9: merged.Mar 22 2020, 8:31 PM

Merged Changes

73d1dc57215f avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph…
Author
makarius
Browse Repository
No Builds
No Audits
200ec7c4c1a5 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
f2c1154e9c8d merged;
Author
makarius
Browse Repository
No Builds
No Audits
e9f53182c4aa more NEWS;
Author
makarius
Browse Repository
No Builds
No Audits
9a364ed3a440 delete Isabelle distribution archive after use;
Author
makarius
Browse Repository
No Builds
No Audits
9b49538845cc documentation for "isabelle build_docker";
Author
makarius
Browse Repository
No Builds
No Audits
d59d557f4ee0 updated for release;
Author
makarius
Browse Repository
No Builds
No Audits
b0be6c0589e8 tuned bib;
Author
makarius
Browse Repository
No Builds
No Audits
a9ec1a8bfd4a more documentation on view.antiAlias, not just NEWS;
Author
makarius
Browse Repository
No Builds
No Audits
aff37005fd79 more NEWS;
Author
makarius
Browse Repository
No Builds
No Audits
95460356d633 avoid premature crash due to missing session parents/imports;
Author
makarius
Browse Repository
No Builds
No Audits
c67076c07fb8 avoid accidental update of base session sources (following documentation in…
Author
makarius
Browse Repository
No Builds
No Audits
f55222fbeae3 avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending…
Author
makarius
Browse Repository
No Builds
No Audits
f36886cc32fa prefer subpixel antialiasing by default: rendering of text is usually much…
Author
makarius
Browse Repository
No Builds
No Audits
c2884545c846 slightly more explicit error, without going into the graph of proof futures;
Author
makarius
Browse Repository
No Builds
No Audits
391ea80ff27c more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);
Author
makarius
Browse Repository
No Builds
No Audits
1005c50b2750 prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as…
Author
makarius
Browse Repository
No Builds
No Audits
9a29e883a934 tuned documentation, based on hints by Pedro Sánchez Terraf;
Author
makarius
Browse Repository
No Builds
No Audits
76b739c0bedd backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
Author
makarius
Browse Repository
No Builds
No Audits

Changes (5)

Path

Size

src/

HOL/

Computational_Algebra/

Polynomial_Factorial.thy

Transcendental.thy

rISABELLE3904cfde1aa9

src/HOL/Computational_Algebra/Polynomial.thy

Loading...

src/HOL/Computational_Algebra/Polynomial_Factorial.thy

Loading...

src/HOL/List.thy

Loading...

src/HOL/Nat.thy

Loading...

src/HOL/Transcendental.thy

Loading...