Diffusion Isabelle 6974bca47856

merged
6974bca47856
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLEfeaf43e23b3a: updated for release;
rISABELLEbb35f7f60d6c: contributors

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6974bca47856: merged.Feb 1 2021, 4:03 PM

Merged Changes

bb35f7f60d6c contributors
Author
Andreas Lochbihler <mail@andreas-lochbihler.de>
Browse Repository
No Builds
No Audits
87e3c180044a hide the internal abbreviations MR and MB
Author
Andreas Lochbihler <mail@andreas-lochbihler.de>
Browse Repository
No Builds
No Audits
bfa9f646f5ae optimize RBT_Impl
Author
mraszyk
Browse Repository
No Builds
No Audits
8c98e497492a merged
Author
makarius
Browse Repository
No Builds
No Audits
ce90865dbaeb Simpler proof
Author
nipkow
Browse Repository
No Builds
No Audits
b310b93563f6 more robust: support other_isabelle.init_settings for build_history before…
Author
makarius
Browse Repository
No Builds
No Audits
a5998396051e more robust: defer error in sessions structure to build process;
Author
makarius
Browse Repository
No Builds
No Audits
ebf7babc05ce merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
Author
makarius
Browse Repository
No Builds
No Audits
0398f18ec76c proper hostname;
Author
makarius
Browse Repository
No Builds
No Audits
13bd167f4d97 more official support for macOS 11.1 Big Sur;
Author
makarius
Browse Repository
No Builds
No Audits
68f0bd0c8e87 more informative error;
Author
makarius
Browse Repository
No Builds
No Audits
be9b73dfd3e0 added lemmas
Author
nipkow
Browse Repository
No Builds
No Audits
11da341c2968 merged
Author
makarius
Browse Repository
No Builds
No Audits
4c4d479b097d new magerial from Jakub Kądziołka
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

Admin/

Release/

components/

components.sha1

src/

Pure/

Thy/

presentation.scala

rISABELLE6974bca47856

.hgtags

Loading...

Admin/Release/CHECKLIST

Loading...

Admin/components/components.sha1

Loading...

src/Pure/Thy/presentation.scala

Loading...