projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 23 Aug 2012 17:15:24 +0000 (17:15 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 23 Aug 2012 17:15:24 +0000 (17:15 +0000) | ||
| commit | 35e633b9f0e0ae36641e0f6d29aaed7ceb4e3c75 | |
| tree | 7195049edbec9910f1ca1762e8edb838d7b1ef1f | tree | snapshot |
| parent | 62ba47750dc6a598a01a5c53c375124a517b6ee0 | commit | diff |
| matita/matita/contribs/character/Makefile | [deleted file] | blob | history |
| matita/matita/contribs/character/classes/class.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/character/classes/class_pt.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/character/classes/defs.ma | [deleted file] | blob | history |
| matita/matita/contribs/character/classes/props_pt.ma | [deleted file] | blob | history |
| matita/matita/contribs/character/classes/triple.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/character/depends | [deleted file] | blob | history |
| matita/matita/contribs/character/preamble.ma | diff | blob | history |