projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4eb27da) | patch
small change
authorThierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se>
Wed, 27 Apr 2016 09:27:47 +0000 (11:27 +0200)
committerThierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se>
Wed, 27 Apr 2016 09:27:47 +0000 (11:27 +0200)
commite11e54d35289b35739b20346428c3104a90ff49d
tree7d657f199256d329f0cfc4e4b4b6d3b59d6fdc76tree | snapshot
parent4eb27da0bf4335ee87ac4d9d2c5e8a11d960fc99commit | diff
small change
examples/subset.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.