Diffusion Isabelle 05329cd9db4b

merged
05329cd9db4b
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE71f001027a13: Proof simplification
rISABELLEa76f49a03448: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rISABELLE05329cd9db4b: merged.Mar 17 2023, 11:42 AM

Merged Changes

3e8e749935fc proper "build_thorough" for "isabelle update" (amending 9e5f8f6e58a0);
Author
makarius
Browse Repository
No Builds
No Audits
a76f49a03448 merged
Author
makarius
Browse Repository
No Builds
No Audits
1db732e6c3d2 back to compression in Isabelle/Scala (in contrast to f7174238b5e3), e.g.
Author
makarius
Browse Repository
No Builds
No Audits
bc8e2fec9650 vacuum everything in the database;
Author
makarius
Browse Repository
No Builds
No Audits
e92000492895 tuned;
Author
makarius
Browse Repository
No Builds
No Audits
e7d8e990d378 proper vacuum of session_info tables: only once per build process;
Author
makarius
Browse Repository
No Builds
No Audits
daaaf59375e9 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
649708f75c6f more thorough database checks;
Author
makarius
Browse Repository
No Builds
No Audits
9e5f8f6e58a0 more thorough treatment of build prefs, guarded by system option…
Author
makarius
Browse Repository
No Builds
No Audits
488a48453d74 clarified build options;
Author
makarius
Browse Repository
No Builds
No Audits
08fcde7c55c0 clarified ML option vs. Scala option (see also caa182bdab7a);
Author
makarius
Browse Repository
No Builds
No Audits
34176328fc67 merge conflict
Author
nipkow
Browse Repository
No Builds
No Audits
8a6a79ed5a83 unified function update and map update syntaxes
Author
nipkow
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

src/

HOL/

Analysis/

rISABELLE05329cd9db4b

src/HOL/Analysis/Homotopy.thy

Loading...