Diffusion afp-devel d57b427b0d34

merge from afp-2023
d57b427b0d34
Actions

Description

merge from afp-2023

Details

Provenance

kleing

Authored on

Parents

rAFP6f60de9ffc2a: regen website
rAFP20d6a62d7fad: merge from afp-2023

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPd57b427b0d34: merge from afp-2023.Sep 14 2023, 9:57 AM

Merged Changes

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

20d6a62d7fad merge from afp-2023
Author
kleing
Browse Repository
No Builds
No Audits
cd589841a170 Moved a general purpose theorem into the main repository
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
73e9fe529af2 a little fix involving the reformulated version of inclusion/exclusion
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
c23d6419e9fe fixed missing parenthesis in or-ok-lemma
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
aed1fd49ef90 new bibiten and titlecase on all sections
Author
Anders Schlichtkrull <andsch@cs.aau.dk>
Browse Repository
No Builds
No Audits
bb681dd9e2f3 avoid clones of Isabelle/ML operations --- de-emphasize somewhat old/outdated…
Author
makarius
Browse Repository
No Builds
No Audits
b30dbda6bb1c replace underscore latex package with formal markup
Author
Anders Schlichtkrull <andsch@cs.aau.dk>
Browse Repository
No Builds
No Audits
bc96d1b79af3 merge
Author
Anders Schlichtkrull <andsch@cs.aau.dk>
Browse Repository
No Builds
No Audits
8f3ba551a991 fix latex generation
Author
Anders Schlichtkrull <andsch@cs.aau.dk>
Browse Repository
No Builds
No Audits
582bad32ddbf Backed out changeset 8eb0a45852dc
Author
Anders Schlichtkrull <andsch@cs.aau.dk>
Browse Repository
No Builds
No Audits
a270719ee81d tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a8a41bb5d17d avoid non-local return;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
681e992fb431 removed migration tools;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
73f40b87e288 follow naming conventions of Isabelle/2a99fcb283ee;
Author
makarius
Browse Repository
No Builds
No Audits
19047d6a642b adapted to Isabelle/fd1fec53665b;
Author
makarius
Browse Repository
No Builds
No Audits
10d85056cf3b Relational_Disjoint_Set_Forests: update history
Author
Walter Guttmann <walter.guttmann@canterbury.ac.nz>
Browse Repository
No Builds
No Audits
76b68bb2e427 Relational_Disjoint_Set_Forests: minor text edits
Author
Walter Guttmann <walter.guttmann@canterbury.ac.nz>
Browse Repository
No Builds
No Audits
9713ed33b74d merged
Author
paulson
Browse Repository
No Builds
No Audits
2fbc8606df8b small fixes
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
64574718f36a fix afp-submit for markdown processing
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
99ccea14b2bf switch version back to devel after fork
Author
kleing
Browse Repository
No Builds
No Audits
44bccec51c26 close branch
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9b889a22dc8c clse branch
Author
Lars Hupel <lars.hupel@mytum.de>
Browse Repository
No Builds
No Audits
4b29df4907c3 close
Author
kleing
Browse Repository
No Builds
No Audits
eff9d8ce7be8 merge closed heads
Author
kleing
Browse Repository
No Builds
No Audits
3845c7c84c17 merged via grafting
Author
kleing
Browse Repository
No Builds
No Audits
23f824709665 merged via afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
450bdc5c8df0 updated afp sitegen doc;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b0bf102f7744 replaced python afp stats with Isabelle/Scala tool;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5f4c73b43f60 updated afp metadata doc (now as markdown);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3cf91dd7a995 afp components: removed unnecessary platforms;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f7b9b71b4184 afp sitegen: switch to new version;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8e3c06373cdb add sitegen ignore option;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8c4802ca1952 improvements for toml module: proper boolean values;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
7b2fbe17e4f0 add components as proper afp deps;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8e081a5e444f tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
882923327135 switched to standalone cross-platform afp python component;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b88f372899cd tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9e91b75d851a afp python build: use tgz for better cross-plattform compatability;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8fd101fe8fd2 replaced ci_profiles by statically compiled afp_build tool (Scala 3…
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
27fff681c7f2 afp structure: added accessors;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
860c2dbfbd78 hugo site: minor changes;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
4e300068e651 merged
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f4ad2145b146 hugo-site: improve various aspects;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2d5998cb1410 add new authors to migration;
Author
Fabian Huch <huch@in.tum.de>
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

Changes (6)

Path

Size

admin/

site/

content/

submission.md

metadata/

entries/

Topological_Semantics.toml

web/

data/

keywords.json

entries/

Topological_Semantics.html

index.json

submission/

index.html

rAFPd57b427b0d34

View Options

admin/site/content/submission.md

View Options

metadata/entries/Topological_Semantics.toml

View Options

web/data/keywords.json

View Options

web/entries/Topological_Semantics.html

View Options

web/index.json

View Options

merge from afp-2023d57b427b0d34Actions

Description

Details

Event Timeline

Merged Changes

Changes (6)

rAFPd57b427b0d34

admin/site/content/submission.md

metadata/entries/Topological_Semantics.toml

web/data/keywords.json

web/entries/Topological_Semantics.html

web/index.json

web/submission/index.html

merge from afp-2023
d57b427b0d34
Actions