projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Jun 2005 12:42:21 +0000 (12:42 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Jun 2005 12:42:21 +0000 (12:42 +0000) | ||
| commit | d513d6872096bfe51f8fa3ced917131e954130e1 | |
| tree | 9f8fcc2c32ddceca7f24a7d3a72fb46743dfe5d5 | tree | snapshot |
| parent | cc4a7a8433adcd1d76c124b8843bc707b446254b | commit | diff |
| helm/matita/matitaEngine.ml | diff | blob | history | |
| helm/matita/tests/fguidi.ma | [new file with mode: 0644] | blob |