changeset | 1dc1d41620b6 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Adam Chlipala <adam@chlipala.net> |
description | Builds with Coq 8.15.2 |
files | .hgignore src/CpdtTactics.v src/DataStruct.v src/DepList.v src/GeneralRec.v src/InductiveTypes.v src/Large.v src/LogicProg.v src/MoreDep.v src/Universes.v |
changeset | c3d77f2bb92c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Note 8.11 port |
files | staging/updates.rss |
changeset | a913f19955e2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Update for Coq 8.11 |
files | .hgignore src/DataStruct.v src/GeneralRec.v src/Reflection.v |
changeset | 3fc43e261f67 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Spacing and indentation fixes in tools, from Chen Yiwu |
files | tools/bsd_license.ml tools/make_template.ml tools/prepare_spellcheck.ml |
changeset | c3d4217e1da7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add photo of young scholar |
files | staging/index.html staging/scholar.jpg |
changeset | 0ce9829efa3b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Back to working in Coq 8.4 |
files | src/DataStruct.v src/DepList.v src/Equality.v src/MoreDep.v src/ProgLang.v src/Universes.v |
changeset | 81d63d9c1cc5 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Port to Coq 8.9.0 |
files | .hgignore src/Coinductive.v src/DataStruct.v src/DepList.v src/Equality.v src/GeneralRec.v src/InductiveTypes.v src/Intro.v src/MoreDep.v src/ProgLang.v |
changeset | ec0ce5129fc4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4 |
files | src/StackMachine.v |
changeset | 1a231194d164 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Two new courses |
files | staging/index.html |
changeset | 7020e5a4af96 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Link to Ottawa CSI 5137 |
files | staging/index.html |