Diffusion afp-devel 173359fcafa4

merged
173359fcafa4
Actions

Description

merged

Details

Provenance

nipkow

Authored on

Parents

rAFP3ec6dc59412e: comleted single loop refinement
rAFP613d8d8fb067: minor adjustments

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP173359fcafa4: merged.May 17 2022, 7:38 AM

Merged Changes

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

613d8d8fb067 minor adjustments
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
da39b5964de3 metadata
Author
user9716869 <user9716869@gmail.com>
Browse Repository
No Builds
No Audits
b4f4acb4ee94 minor amendments
Author
user9716869 <user9716869@gmail.com>
Browse Repository
No Builds
No Audits
68412a363595 creation and preservation of limits; a variety of auxiliary results and…
Author
user9716869 <user9716869@gmail.com>
Browse Repository
No Builds
No Audits
d0c948a42af2 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
00c034528a4a clarified formatting, for the sake of scala3;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
dbddab778577 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e3c2aeafc2c0 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fbafb44dc503 hugo site: better scrolling;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a3f22844a82d patched a broken 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

Changes (2)

Path

Size

thys/

Gale_Shapley/

Gale_Shapley1.thy

Gale_Shapley2.thy

rAFP173359fcafa4

View Options

thys/Gale_Shapley/Gale_Shapley1.thy

View Options

thys/Gale_Shapley/Gale_Shapley2.thy

merged173359fcafa4Actions

Description

Details

Event Timeline

Merged Changes

Changes (2)

rAFP173359fcafa4

thys/Gale_Shapley/Gale_Shapley1.thy

thys/Gale_Shapley/Gale_Shapley2.thy

merged
173359fcafa4
Actions