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