Diffusion afp-devel 42810d60fe4a

merged
42810d60fe4a
Actions

Description

merged

Details

Provenance

paulson

Authored on

Parents

rAFP6718d889ebe3: tidied up a few proofs
rAFP387e1d863bf8: A slightly nicer proof

Branches

Unknown

Tags

Unknown

Event Timeline

paulson committed rAFP42810d60fe4a: merged.Mar 27 2022, 8:23 PM

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.

387e1d863bf8 A slightly nicer proof
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
1be19de7eecb hugo site: updated devel info;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
38314be41f9f hugo site: updated content;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3e574f15c9bf hugo site: proper ordering;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2ad5e37aebc5 hugo site: restricted generated affiliations;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
16c8b18bede4 hugo site: proper theory view link scrolling;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d406e40678a5 hugo site: tuned affiliation keys;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
244ac17a6498 hugo site: proper topic-only topics page;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fc2d817db048 hugo site: relativize paths;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d1a781d9fb9c hugo site: list sessions separately;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9f4523b8ed97 hugo site: tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
0f50a79d8721 hugo site: tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
79e043c174f0 hugo site: merge gen and build tool;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e56a3c69ae27 hugo site: added doc headers;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
51c88bc0b376 hugo site: tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8d67d9a9da75 afp metadata: index keys for emails and urls;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e4b3556a40fe hugo site: improve theory view;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
0dd4c34b22d5 hugo site: cleaned up;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
6091eddc9db6 hugo site: added devel version;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fef45c5031a4 hugo site: updated search and content;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9192b15831b3 hugo site: added theory view styling for different device sizes;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f1fb5d9cc8b2 Updated metadata in migration and theory view;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8f595e5bd261 hugo site: updated site templates;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
09a3e2523fd9 metadata migration: updated authors;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
bd32b1fd6406 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d80eeff3bd7d hugo: added mobile view;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9be5074d44ca hugo: copy to proper path;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
080b665e6ae3 added theory navbar;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2bcb6698a17e tuned formatting;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
1266c86cf47b added loader;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b30cbcc1846c tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d6ff995cf5a9 tuned: more canonical Isabelle code style;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b32649b547e9 proper loading of foundational hrefs;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
53e6f3897fff fix dependencies;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
ab1cf8fca876 added devel flag;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cc835fde7a38 updated about page;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5f2eb2ceef51 moved extraction of related entries to hugo;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a53823fdccd8 improved keyword extraction;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cea71b734a23 added keywords to site generated entry data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b69b09d8f99a use tmp file for python script instead of command;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e450d45c4680 added js-side theory loading to afp site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5857c4582eae integrated metadata changes into site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
09790a81f454 added missing keyword data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5369b980e2fe removed html dir from sitegen (now set inside hugo);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
c5355362ec54 tuned sitegen: moved dependencies generation to scala
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
df920a57d3cf changed generated author format;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f09cb003fe3c tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f69e70cf8a17 tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2b9064e3aaa4 tuned hugo: static files more explicit;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
12628bcb34d2 tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (1)

Path

Size

thys/

ZFC_in_HOL/

ZFC_Typeclasses.thy

rAFP42810d60fe4a

View Options

thys/ZFC_in_HOL/ZFC_Typeclasses.thy

merged42810d60fe4aActions

Description

Details

Event Timeline

Merged Changes

Changes (1)

rAFP42810d60fe4a

thys/ZFC_in_HOL/ZFC_Typeclasses.thy

merged
42810d60fe4a
Actions