Update wiki e428abf93a0865bac6558054393dc05e7eaf2497

github-actions[bot] committed Jun 17, 2024

Update wiki 2e736d1f055aaa29b6003d0ecb57b87f9e902501

github-actions[bot] committed Jan 11, 2024

Update wiki a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488

github-actions[bot] committed Jan 9, 2024

Merge pull request #1112 from EgbertRijke/code-of-conduct Code of conduct

invalid-email-address committed May 24, 2023

Mark Errata (auto)

invalid-email-address committed May 24, 2023

Merge pull request #1137 from Bolpat/patch-1 Fix issue #1135

invalid-email-address committed Apr 24, 2023

Merge pull request #1133 from prime235711/patch-1 Update basics.tex

invalid-email-address committed Jan 27, 2023

Merge pull request #1129 from ecavallo/ml75 adjust references to origin of Martin-Löf identity types

invalid-email-address committed Oct 31, 2022

Merge pull request #1114 from Ryunaq/ommited-rules Elaborate more on the omitted eq rules

invalid-email-address committed Apr 28, 2022

Merge pull request #1115 from HoTT/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-3 Bump Andrew-Chen-Wang/github-wiki-action from 2 to 3

invalid-email-address committed Apr 28, 2022

Merge branch 'ThePuzzlemaker-1.11-inclusive'

invalid-email-address committed Apr 13, 2022

Update lulu.com cover

invalid-email-address committed Apr 13, 2022

Merge pull request #1110 from HoTT/really-fix-errata-script Concatenate errata-marking and PDF-making and remove DVI-making

invalid-email-address committed Mar 24, 2022

Merge pull request #1109 from HoTT/fix-errata-script Fix errata marking

invalid-email-address committed Mar 23, 2022

Merge pull request #1107 from HoTT/disable-updates-for-forks Do not publish the nightlies on forked repositories

invalid-email-address committed Mar 19, 2022

Merge pull request #1102 from HoTT/ci-scripts Rewrite CI scripts

invalid-email-address committed Mar 15, 2022

Merge c765d063f1ffcf8402acfa9410887f88e35dd4d2 into a15d53ee3138e50be7864ccab1f2d5b7e62365ed

invalid-email-address committed Mar 15, 2022

Update nightly builds page (auto)

Travis CI User committed Feb 22, 2021

Update nightly builds page (auto)

Travis CI User committed Feb 5, 2021

Update nightly builds page (auto)

Travis CI User committed Feb 4, 2021

Update nightly builds page (auto)

Travis CI User committed Feb 4, 2021

Update nightly builds page (auto)

Travis CI User committed Nov 16, 2020

Update nightly builds page (auto)

Travis CI User committed Oct 18, 2020

Update nightly builds page (auto)

Travis CI User committed Sep 15, 2020

Update nightly builds page (auto)

Travis CI User committed Jul 17, 2020

Update nightly builds page (auto)

Travis CI User committed May 5, 2020

Update nightly builds page (auto)

Travis CI User committed May 3, 2020

Update nightly builds page (auto)

Travis CI User committed Apr 30, 2020

Update nightly builds page (auto)

Travis CI User committed Apr 15, 2020

Update nightly builds page (auto)

Travis CI User committed Apr 4, 2020