projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sat, 19 Dec 2015 18:25:41 +0000 (19:25 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Sat, 19 Dec 2015 20:24:49 +0000 (15:24 -0500) | ||
| commit | 46f46a93b8aafb10e9f5d832e17236e0b30f8847 | |
| tree | 925774658fa884760f7e0aab938318e365d77d9f | tree | snapshot |
| parent | c74c61bae15069c1ef25227b814d783cd4a1110c | commit | diff |
| examples/testEquiv.ctt | diff | blob | blame | history |