projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 17 Dec 2018 20:11:50 +0000 (21:11 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 17 Dec 2018 20:11:50 +0000 (21:11 +0100) | ||
| commit | 45f2accd093c8d10eb692266f4c3c0c59cb22d8b | |
| tree | 7733a9e465aa2bd06e03cedc5b1dde03b9c2ed03 | tree | snapshot |
| parent | e2a04af38529be1522e99963b96f32685708a7bf | commit | diff |
| matita/matita/lib/fail.txt | diff | blob | history |