projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 21 Sep 2007 20:47:15 +0000 (20:47 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 21 Sep 2007 20:47:15 +0000 (20:47 +0000) | ||
| commit | 4d8636c99df23a2583397693008897eb04e4f69c | |
| tree | 480d680fc375045b8331461514d26412a39373cf | tree | snapshot |
| parent | efaf43d2464a890dd863bd92ce622a998b56ccee | commit | diff |
| helm/software/matita/matitaInit.ml | diff | blob | history |