Diffusion afp-devel 3e1f6e97fb35

added hugo project by Carlin MacKenzie;
3e1f6e97fb35
Actions

Tags

None

Subscribers

None

Description

added hugo project by Carlin MacKenzie;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPfb767a74d676: added sitegen scripts by Carlin MacKenzie (slightly tweaked);

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP3e1f6e97fb35: added hugo project by Carlin MacKenzie;.Nov 12 2021, 3:50 PM

Changes (190)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.

Path

Size

contribution.md

navigation.html

theory-navigation.html

statistics.html

submission.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

flexsearch.min.js

header-search.js

assistive-mml.js

semantic-enrich.js

all-packages.js

configMacros.js

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

MathJax_Zero.woff

tex-chtml-full.js

tex-mml-chtml.js

tex-svg-full.js

rAFP3e1f6e97fb35

admin/site/archetypes/default.md

admin/site/config.json

admin/site/content/_index.md

admin/site/content/about.md

admin/site/content/contribution.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/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/search.svg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

admin/site/themes/afp/theme.toml

admin/site/theories/_index.md