projects / cubicaltt.git / commit
| author | Thierry Coquand <coquand@cse-3325317.local> | |
| Sat, 2 Apr 2016 11:49:45 +0000 (13:49 +0200) | ||
| committer | Thierry Coquand <coquand@cse-3325317.local> | |
| Sat, 2 Apr 2016 11:49:45 +0000 (13:49 +0200) | ||
| commit | ed54ac4557d492c729f36abc00c763dbd0f269a9 | |
| tree | 4e0184badc0b518b99581053e4d7158d4e3c218e | tree | snapshot |
| parent | 68e76ef595472c9b828dfd597fd50a5b687aff8e | commit | diff |
| examples/helix.ctt | diff | blob | blame | history |