projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 30 Jun 2005 09:32:45 +0000 (09:32 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Thu, 30 Jun 2005 09:32:45 +0000 (09:32 +0000) | ||
| commit | ab0d1d5a50ad2e01bcf2e5e4a6ded8322a9da4b9 | |
| tree | 1d9116099397a433e06eecd4aa5a4d243fa687e8 | tree | snapshot |
| parent | ced6c94c59ba147abbee642dcd3e816ee2e1c1eb | commit | diff |
| helm/matita/matitaScript.ml | diff | blob | history | |
| helm/matita/matitaScript.mli | diff | blob | history |