]> git.xn--bdkaa.com Git - cubicaltt-web.git/commitdiff
projects / cubicaltt-web.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f34f35a 9ed8a85)
Merge pull request #14 from vladimirias/master
authormortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
committermortberg <mortberg@chalmers.se>
Tue, 4 Aug 2015 06:11:20 +0000 (08:11 +0200)
The link to Voevodsky's webpage in README updated


Trivial merge
My fork of cubicaltt with web interface using Reflex.