From c747fb61800362901234b1501f5c343a493c9e21 Mon Sep 17 00:00:00 2001 From: Daniel Kirchner Date: Thu, 9 May 2024 22:30:22 +0200 Subject: [PATCH] Include all theories and redirect to AOT from ROOT index.html. --- .github/workflows/index.html | 11 +++++++++++ .github/workflows/pages.yml | 6 ++++-- ROOT | 3 ++- 3 files changed, 17 insertions(+), 3 deletions(-) create mode 100644 .github/workflows/index.html diff --git a/.github/workflows/index.html b/.github/workflows/index.html new file mode 100644 index 0000000..6f02c91 --- /dev/null +++ b/.github/workflows/index.html @@ -0,0 +1,11 @@ +< + + + + +Redirect to AOT/AOT/index.html + + +Click here in case you are not redirected. + + diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index a50e618..6a0486c 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -22,9 +22,11 @@ jobs: docker run -v "$(pwd):/home/isabelle/AOT:rw" makarius/isabelle:Isabelle2023 build -D /home/isabelle/AOT -o browser_info -P /home/isabelle/AOT/output -e cp -r output build - name: Patch pages. - run: .github/workflows/patch_pages.py build/Unsorted/AOT/*.html + run: .github/workflows/patch_pages.py build/AOT/AOT/*.html + - name: Replace index. + run: cp .github/workflows/index.html build - name: Deploy github pages. uses: JamesIves/github-pages-deploy-action@4.1.4 with: branch: gh-pages - folder: build/Unsorted/AOT + folder: build diff --git a/ROOT b/ROOT index 1e3ba30..5d7b85a 100644 --- a/ROOT +++ b/ROOT @@ -1,3 +1,4 @@ +chapter AOT session "AOT" = "HOL-Cardinals" + options [show_question_marks = false, names_short = true, browser_info, document_output = "output"] sessions @@ -15,7 +16,7 @@ session "AOT" = "HOL-Cardinals" + AOT_ExtendedRelationComprehension AOT_PossibleWorlds AOT_NaturalNumbers - AOT_Possibilities + AOT_Possibilities AOT_misc theories [document = false] ExportInfo