Skip to content

History

New page

Revisions

  • The wiki has been merged into the nLab a few years ago.

    madeleinebirchfield committed Jul 4, 2024
    6f25d20

  • Update wiki e428abf93a0865bac6558054393dc05e7eaf2497

    @github-actions github-actions[bot] committed Jun 17, 2024
    be6a934

  • Update wiki 2e736d1f055aaa29b6003d0ecb57b87f9e902501

    @github-actions github-actions[bot] committed Jan 11, 2024
    6d4514a

  • Update wiki a05b0e4c1f223c08ab3e2fc2a8fc8e58fda99488

    @github-actions github-actions[bot] committed Jan 9, 2024
    3522351

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

    @invalid-email-address invalid-email-address committed May 24, 2023
    211457c

  • Mark Errata (auto)

    @invalid-email-address invalid-email-address committed May 24, 2023
    3413ac8

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

    @invalid-email-address invalid-email-address committed Apr 24, 2023
    ce9f05b

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

    @invalid-email-address invalid-email-address committed Jan 27, 2023
    d8c781d

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

    @invalid-email-address invalid-email-address committed Oct 31, 2022
    4bda18f

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

    @invalid-email-address invalid-email-address committed Apr 28, 2022
    b5400ab

  • 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 invalid-email-address committed Apr 28, 2022
    bea8d9b

  • Merge branch 'ThePuzzlemaker-1.11-inclusive'

    @invalid-email-address invalid-email-address committed Apr 13, 2022
    a2704bf

  • Update lulu.com cover

    @invalid-email-address invalid-email-address committed Apr 13, 2022
    656785d

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

    @invalid-email-address invalid-email-address committed Mar 24, 2022
    5b3f188

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

    @invalid-email-address invalid-email-address committed Mar 23, 2022
    7d4bd73

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

    @invalid-email-address invalid-email-address committed Mar 19, 2022
    f354e1a

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

    @invalid-email-address invalid-email-address committed Mar 15, 2022
    5edfa7b

  • Merge c765d063f1ffcf8402acfa9410887f88e35dd4d2 into a15d53ee3138e50be7864ccab1f2d5b7e62365ed

    @invalid-email-address invalid-email-address committed Mar 15, 2022
    103e481

  • Merge 101b18583f5628ca8ef1a57875fa8c37bb86fb71 into a15d53ee3138e50be7864ccab1f2d5b7e62365ed

    @invalid-email-address invalid-email-address committed Mar 15, 2022
    77a378d

  • Update nightly builds page (auto)

    Travis CI User committed Feb 22, 2021
    3d4f5ef

  • Update nightly builds page (auto)

    Travis CI User committed Feb 5, 2021
    4b613a8

  • Update nightly builds page (auto)

    Travis CI User committed Feb 4, 2021
    84a40cc

  • Update nightly builds page (auto)

    Travis CI User committed Feb 4, 2021
    991de43

  • Update nightly builds page (auto)

    Travis CI User committed Nov 16, 2020
    448c420

  • Update nightly builds page (auto)

    Travis CI User committed Oct 18, 2020
    61167bf

  • Update nightly builds page (auto)

    Travis CI User committed Sep 15, 2020
    e7b07ba

  • Update nightly builds page (auto)

    Travis CI User committed Jul 17, 2020
    fd00b9c

  • Update nightly builds page (auto)

    Travis CI User committed May 5, 2020
    298e39e

  • Update nightly builds page (auto)

    Travis CI User committed May 3, 2020
    0a0ccb3

  • Update nightly builds page (auto)

    Travis CI User committed Apr 30, 2020
    8d8b398