]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a60200) | patch
Swap test2 and test3 to correspond to what is in cubical
authorAnders Mörtberg <mortberg@chalmers.se>
Tue, 5 May 2015 00:43:47 +0000 (02:43 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Tue, 5 May 2015 00:43:47 +0000 (02:43 +0200)
commit357a082a18bf1923d7b810349a36379fb18972a4
tree7c6075c7af5692bf2e8cde539822967c275eda48tree | snapshot
parent7a602002c5a805f98e7586643894fac8f633f9f6commit | diff
Swap test2 and test3 to correspond to what is in cubical
examples/pi1S2.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.