Diffusion afp-devel b163b7fbd589

merge website-redesign graft
b163b7fbd589
Actions

Description

merge website-redesign graft

Details

Provenance

kleing

Authored on

Parents

rAFP1c03099874f4: updated afp sitegen doc;
rAFPc50f7b77afcc: Added a missing acknowledgement

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPb163b7fbd589: merge website-redesign graft.Jun 21 2022, 8:40 AM

Merged Changes

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

95b886c17e9a Avoid explicit operation when not necessary.
Author
florian.haftmann
Browse Repository
No Builds
No Audits
aa0010657cdf adjust for isabelle@5bba3516ddb5
Author
kleing
Browse Repository
No Builds
No Audits
cb0c00e47b26 merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
c50f7b77afcc Added a missing acknowledgement
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
bc3e5860c9e4 metadata for Finite_Fields (and missing <> for two previous entries)
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
ebe38e23240d new entry: Finite_Fields
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
8166a1ff352e sitegen for DPRM_Theorem
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
e56ed550366a DPRM_Theorem: finally cleaned up and impressive!
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
1d26ed7d793d New entry [Rewrite_Properties_Reduction]
Author
nipkow
Browse Repository
No Builds
No Audits
542c926013d7 Fixed broken LaTeX in the abstract
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
172cd4adf0b6 sitegen for Combinable_Wands
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
4d36ac862918 New entry Combinable_Wands
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
0b50ea7fcc09 corrected metadata (separate authors by "," not by "and")
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
602d9d4d653a sitegen and metadata for Pluennecke_Ruzsa_Inequality
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
7e7e10f7a8b4 new entry: Pluennecke Ruzsa Inequality
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
60dc9690d0a8 Tuning the abstract to remove some of the display mathematics
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
e159ab7bd5bb sitegen for Package_logic
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
4a6169e75762 new entry Package_logic
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
c0af5264d948 Removal of all email addresses, at authors' request
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
ba94b63a61a4 renamed some variables
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
fc16a5977d51 proper \open\close markup
Author
Christian Urban <christian.urban@kcl.ac.uk>
Browse Repository
No Builds
No Audits
a6619d01a711 Updated the Posix-Lexer entry including a small change in Regular-Set
Author
Christian Urban <christian.urban@kcl.ac.uk>
Browse Repository
No Builds
No Audits
4eebdc219200 Trimmed down dependencies.
Author
florian.haftmann
Browse Repository
No Builds
No Audits
90e714499ada Merge equivalent instance declarations for functions in Lp.Functional_Spaces…
Author
Emin Karayel <me@eminkarayel.de>
Browse Repository
No Builds
No Audits
974b0f087e3d Remove duplicate lemma and fix typos in Frequency_Moments.
Author
Emin Karayel <me@eminkarayel.de>
Browse Repository
No Builds
No Audits
280ec0638df7 same variant as for imperative algorithm to prove n^2 complexity
Author
nipkow
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
f1bb6f81e6be tuned
Author
nipkow
Browse Repository
No Builds
No Audits
4a3e9f04da3c Shortened and simplified a proof
Author
paulson <lp15@cam.ac.uk>
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
4aa6d54b05fb more realistic timeout;
Author
makarius
Browse Repository
No Builds
No Audits
f1fba7ea6bc1 tuned whitespace;
Author
makarius
Browse Repository
No Builds
No Audits
b97b329ece74 more realistic timeout;
Author
makarius
Browse Repository
No Builds
No Audits
f6f9a817674e avoid hard-wired document;
Author
makarius
Browse Repository
No Builds
No Audits
3bd251ed7010 removed usages of HOL.no_atp as its content and order is not guaranteed
Author
desharna
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

Changes (249)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.

Path

Size

ci_build_testboard.scala

theory-navigation.html

IsabelleDejaVuSansMono-Bold.ttf

IsabelleDejaVuSansMono.ttf

open-sans-v18-latin-300.woff

open-sans-v18-latin-300.woff2

open-sans-v18-latin-700.woff

open-sans-v18-latin-700.woff2

open-sans-v18-latin-700italic.woff

open-sans-v18-latin-700italic.woff2

open-sans-v18-latin-800.woff

open-sans-v18-latin-800.woff2

open-sans-v18-latin-800italic.woff

open-sans-v18-latin-800italic.woff2

open-sans-v18-latin-italic.woff

open-sans-v18-latin-italic.woff2

open-sans-v18-latin-regular.woff

open-sans-v18-latin-regular.woff2

MathJax_AMS-Regular.woff

MathJax_Calligraphic-Bold.woff

MathJax_Calligraphic-Regular.woff

MathJax_Fraktur-Bold.woff

MathJax_Fraktur-Regular.woff

MathJax_Main-Bold.woff

MathJax_Main-Italic.woff

MathJax_Main-Regular.woff

MathJax_Math-BoldItalic.woff

MathJax_Math-Italic.woff

MathJax_Math-Regular.woff

MathJax_SansSerif-Bold.woff

MathJax_SansSerif-Italic.woff

MathJax_SansSerif-Regular.woff

MathJax_Script-Regular.woff

MathJax_Size1-Regular.woff

MathJax_Size2-Regular.woff

MathJax_Size3-Regular.woff

MathJax_Size4-Regular.woff

MathJax_Typewriter-Regular.woff

MathJax_Vector-Bold.woff

MathJax_Vector-Regular.woff

search-autocomplete.js

	metadata.README.md
	metadata.README

	README.md
	README

tools

admin

afp_build_hugo.scala

afp_build_python.scala

afp_build

afp_build.scala

afp_check_roots.scala

afp_churn_pie

afp_dependencies.scala

	lib/

afp_migrate_metadata.scala

public_suffix_list.dat

python.scala

toml.scala

utils.scala

rAFPb163b7fbd589

View Options

.hgignore

Load File

View Options

admin/components/afp

Load File

View Options

admin/etc/build.props

Load File

View Options

admin/etc/settings

Load File

View Options

admin/jenkins/ci_build_afp.scala

Load File

View Options

admin/jenkins/ci_build_all.scala

Load File

View Options

admin/jenkins/ci_build_mac.scala

Load File

View Options

admin/jenkins/ci_build_slow.scala

Load File

View Options

admin/jenkins/ci_build_testboard.scala

Load File

View Options

admin/jenkins/etc/components

Load File

View Options

admin/jenkins/etc/settings

Load File

View Options

admin/site/config.json

Load File

View Options

admin/site/content/_index.md

Load File

View Options

admin/site/content/about.md

Load File

View Options

admin/site/content/download.md

Load File

View Options

admin/site/content/help.md

Load File

View Options

admin/site/content/search.md

Load File

View Options

admin/site/content/statistics.md

Load File

View Options

admin/site/content/submission.md

Load File

View Options

admin/site/themes/afp/LICENSE

Load File

View Options

admin/site/themes/afp/archetypes/default.md

Load File

View Options

admin/site/themes/afp/assets/sass/main.scss

Load File

View Options

admin/site/themes/afp/layouts/404.html

Load File

View Options

admin/site/themes/afp/layouts/_default/baseof.html

Load File

View Options

admin/site/themes/afp/layouts/_default/index.json

Load File

View Options

admin/site/themes/afp/layouts/_default/list.html

Load File

View Options

admin/site/themes/afp/layouts/_default/search.html

Load File

View Options

admin/site/themes/afp/layouts/_default/single.html

Load File

View Options

admin/site/themes/afp/layouts/_default/terms.json

Load File

View Options

admin/site/themes/afp/layouts/authors/list.html

Load File

View Options

admin/site/themes/afp/layouts/authors/terms.html

Load File

View Options

admin/site/themes/afp/layouts/entries/single.html

Load File

View Options

admin/site/themes/afp/layouts/index.html

Load File

View Options

admin/site/themes/afp/layouts/partials/authors.html

Load File

View Options

admin/site/themes/afp/layouts/partials/footer.html

Load File

View Options

admin/site/themes/afp/layouts/partials/head.html

Load File

View Options

admin/site/themes/afp/layouts/partials/header.html

Load File

View Options

admin/site/themes/afp/layouts/partials/navigation.html

Load File

View Options

admin/site/themes/afp/layouts/partials/theory-navigation.html

Load File

View Options

admin/site/themes/afp/layouts/shortcodes/download.html

Load File

View Options

admin/site/themes/afp/layouts/shortcodes/search.html

Load File

View Options

admin/site/themes/afp/layouts/shortcodes/statistics.html

Load File

View Options

admin/site/themes/afp/layouts/shortcodes/submission.html

Load File

View Options

admin/site/themes/afp/layouts/theories/single.html

Load File

View Options

admin/site/themes/afp/layouts/topics/terms.html

Load File

View Options

admin/site/themes/afp/static/css/isabelle.css

Load File

View Options

admin/site/themes/afp/static/font/IsabelleDejaVuSansMono-Bold.ttf

Load File

View Options

admin/site/themes/afp/static/font/IsabelleDejaVuSansMono.ttf

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-300.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-300.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-700.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-700.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-700italic.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-700italic.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-800.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-800.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-800italic.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-800italic.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-italic.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-italic.woff2

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-regular.woff

Load File

View Options

admin/site/themes/afp/static/font/open-sans-v18-latin-regular.woff2

Load File

View Options

admin/site/themes/afp/static/images/afp.png

Load File

View Options

admin/site/themes/afp/static/images/copy.svg

Load File

View Options

admin/site/themes/afp/static/images/download.svg

Load File

View Options

admin/site/themes/afp/static/images/favicon.ico

Load File

View Options

admin/site/themes/afp/static/images/isabelle.png

Load File

View Options

admin/site/themes/afp/static/images/menu.svg

Load File

View Options

admin/site/themes/afp/static/images/search.svg

Load File

View Options

admin/site/themes/afp/static/js/Chart.js

Load File

View Options

admin/site/themes/afp/static/js/entries.js

Load File

View Options

admin/site/themes/afp/static/js/flexsearch.bundle.js

Load File

View Options

admin/site/themes/afp/static/js/header-search.js

Load File

View Options

admin/site/themes/afp/static/js/mark.min.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/a11y/assistive-mml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/a11y/complexity.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/a11y/explorer.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/a11y/semantic-enrich.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/adaptors/liteDOM.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/core.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/asciimath.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/mml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/mml/entities.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex-base.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex-full.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/action.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/all-packages.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/ams.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/amsCd.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/autoload.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/bbox.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/boldsymbol.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/braket.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/bussproofs.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/cancel.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/color.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/colorV2.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/configMacros.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/enclose.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/extpfeil.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/html.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/mhchem.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/newcommand.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/noerrors.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/noundefined.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/physics.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/require.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/tagFormat.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/unicode.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/input/tex/extensions/verb.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/latest.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/loader.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/mml-chtml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/mml-svg.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/node-main.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/tex.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_AMS-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Bold.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Fraktur-Bold.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Fraktur-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Main-Bold.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Main-Italic.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Main-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Math-BoldItalic.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Math-Italic.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Math-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_SansSerif-Bold.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_SansSerif-Italic.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_SansSerif-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Script-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Size1-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Size2-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Size3-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Size4-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Typewriter-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Vector-Bold.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Vector-Regular.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/chtml/fonts/woff-v2/MathJax_Zero.woff

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/svg.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/output/svg/fonts/tex.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/mathmaps/en.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/mathmaps/es.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/mathmaps/fr.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/mathmaps/mathmaps_ie.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/mathmaps/nemeth.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/sre/sre_browser.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/startup.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-chtml-full.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-chtml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-mml-chtml.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-mml-svg.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-svg-full.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/tex-svg.js

Load File

View Options

admin/site/themes/afp/static/js/mathjax/es5/ui/menu.js

Load File

View Options

admin/site/themes/afp/static/js/scroll-spy.js

Load File

View Options

admin/site/themes/afp/static/js/search-autocomplete.js

Load File

View Options

admin/site/themes/afp/static/js/search.js

Load File

View Options

admin/site/themes/afp/static/js/theory.js

Load File

View Options

admin/site/themes/afp/static/js/util.js

Load File

View Options

admin/site/themes/afp/theme.toml

Load File

View Options

admin/sitegen

Load File

View Options

admin/sitegen-devel

Load File

View Options

admin/sitegen-lib/keywords.py

Load File

View Options

admin/sitegen-lib/statistics.py

Load File

View Options

admin/sitegen-lib/templates.py

Load File

View Options

admin/sitegen-lib/write_file.py

Load File

View Options

admin/sitegen-req.txt

Load File

View Options

doc/editors/metadata.README

Load File

View Options

doc/editors/metadata.README.md

Load File

View Options

doc/editors/new-entry-checkin.md

Load File

View Options

doc/editors/web.md

Load File

View Options

doc/maintenance.md

Load File

View Options

etc/build.props

Load File

View Options

etc/settings

Load File

View Options

metadata/README

Load File

View Options

metadata/README.md

Load File

View Options

tools/admin/afp_build_hugo.scala

Load File

View Options

tools/admin/afp_build_python.scala

Load File

View Options

tools/afp_build

Load File

View Options

tools/afp_build.scala

Load File

View Options

tools/afp_check_roots.scala

Load File

View Options

tools/afp_churn_pie

Load File

View Options

tools/afp_dependencies.scala

Load File

View Options

tools/afp_site_gen.scala

Load File

View Options

tools/afp_structure.scala

Load File

View Options

tools/afp_tool.scala

Load File

View Options

tools/hugo.scala

Load File

View Options

tools/lib/afp_build

Load File

View Options

tools/lib/afp_churn_pie

Load File

View Options

tools/metadata.scala

Load File

View Options

tools/migration/afp_migrate_metadata.scala

Load File

View Options

tools/migration/public_suffix_list.dat

Load File

View Options

tools/python.scala

Load File

View Options

tools/toml.scala

Load File

View Options

tools/utils.scala

Load File

merge website-redesign graftb163b7fbd589Actions

Description

Details

Event Timeline

Merged Changes

Changes (249)Show All Changes

Very Large Commit

rAFPb163b7fbd589

.hgignore

admin/components/afp

admin/etc/build.props

admin/etc/settings

admin/jenkins/ci_build_afp.scala

admin/jenkins/ci_build_all.scala

admin/jenkins/ci_build_mac.scala

admin/jenkins/ci_build_slow.scala

admin/jenkins/ci_build_testboard.scala

admin/jenkins/etc/components

admin/jenkins/etc/settings

admin/site/config.json

admin/site/content/_index.md

admin/site/content/about.md

admin/site/content/download.md

admin/site/content/help.md

admin/site/content/search.md

admin/site/content/statistics.md

admin/site/content/submission.md

admin/site/themes/afp/LICENSE

admin/site/themes/afp/archetypes/default.md

admin/site/themes/afp/assets/sass/main.scss

admin/site/themes/afp/layouts/404.html

admin/site/themes/afp/layouts/_default/baseof.html

admin/site/themes/afp/layouts/_default/index.json

admin/site/themes/afp/layouts/_default/list.html

admin/site/themes/afp/layouts/_default/search.html

admin/site/themes/afp/layouts/_default/single.html

admin/site/themes/afp/layouts/_default/terms.json

admin/site/themes/afp/layouts/authors/list.html

admin/site/themes/afp/layouts/authors/terms.html

admin/site/themes/afp/layouts/entries/single.html

admin/site/themes/afp/layouts/index.html

admin/site/themes/afp/layouts/partials/authors.html

admin/site/themes/afp/layouts/partials/footer.html

admin/site/themes/afp/layouts/partials/head.html

admin/site/themes/afp/layouts/partials/header.html

admin/site/themes/afp/layouts/partials/navigation.html

admin/site/themes/afp/layouts/partials/theory-navigation.html

admin/site/themes/afp/layouts/shortcodes/download.html

admin/site/themes/afp/layouts/shortcodes/search.html

admin/site/themes/afp/layouts/shortcodes/statistics.html

admin/site/themes/afp/layouts/shortcodes/submission.html

admin/site/themes/afp/layouts/theories/single.html

admin/site/themes/afp/layouts/topics/terms.html

admin/site/themes/afp/static/css/isabelle.css

admin/site/themes/afp/static/font/IsabelleDejaVuSansMono-Bold.ttf

admin/site/themes/afp/static/font/IsabelleDejaVuSansMono.ttf

admin/site/themes/afp/static/font/open-sans-v18-latin-300.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-300.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-700.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-700.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-700italic.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-700italic.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-800.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-800.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-800italic.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-800italic.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-italic.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-italic.woff2

admin/site/themes/afp/static/font/open-sans-v18-latin-regular.woff

admin/site/themes/afp/static/font/open-sans-v18-latin-regular.woff2

admin/site/themes/afp/static/images/afp.png

admin/site/themes/afp/static/images/copy.svg

admin/site/themes/afp/static/images/download.svg

admin/site/themes/afp/static/images/favicon.ico

admin/site/themes/afp/static/images/isabelle.png

admin/site/themes/afp/static/images/menu.svg

admin/site/themes/afp/static/images/search.svg

admin/site/themes/afp/static/js/Chart.js

admin/site/themes/afp/static/js/entries.js

admin/site/themes/afp/static/js/flexsearch.bundle.js

merge website-redesign graft
b163b7fbd589
Actions

Changes (249)
Show All Changes