projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:31:20 +0000 (08:31 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:31:20 +0000 (08:31 +0000) | ||
| commit | f066e0440f654917ca0969b4cbcf3a0d7be8a853 | |
| tree | a786c405ae2f27391f1f383a74154cb681c65f5d | tree | snapshot |
| parent | 2217c67eccc96fad6c84cc615e41b60405619ac3 | commit | diff |
| helm/matita/matitaScript.ml | diff | blob | history | |
| helm/matita/matitaScript.mli | diff | blob | history |