projects / cubicaltt.git / commit
| author | Thierry Coquand <coquand@dhcp-180153.eduroam.chalmers.se> | |
| Fri, 1 Apr 2016 10:26:27 +0000 (12:26 +0200) | ||
| committer | Thierry Coquand <coquand@dhcp-180153.eduroam.chalmers.se> | |
| Fri, 1 Apr 2016 10:26:27 +0000 (12:26 +0200) | ||
| commit | 68e76ef595472c9b828dfd597fd50a5b687aff8e | |
| tree | e8340607ffdefbb1865b506f364e874333d3a335 | tree | snapshot |
| parent | 6968336e0087b6de55e4e2fd23e70b15f0efd03e | commit | diff |
| examples/helix.ctt | diff | blob | blame | history |