projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sat, 19 Dec 2015 18:04:59 +0000 (19:04 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sat, 19 Dec 2015 18:04:59 +0000 (19:04 +0100) | ||
| commit | c376861952c48a1eb67bbd0373b6739aa6e3b87b | |
| tree | c63cc70ac50929e2563633afc834b3b99cea4d90 | tree | snapshot |
| parent | 462ac6c4c81ed95988c63f3136b3c7bdcec3916f | commit | diff |
| examples/testEquiv.ctt | diff | blob | blame | history |