]> matita.cs.unibo.it Git - helm.git/history - helm/proofChecker/proofChecker.conf.xml.sample
...
[helm.git] / helm / proofChecker / proofChecker.conf.xml.sample
2004-02-16 Claudio Sacerdoti... - Ported to latest version of Helm_registry
2004-02-11 Claudio Sacerdoti... Example configuration committed.