]> matita.cs.unibo.it Git - helm.git/commit - helm/scripts/template.rc
proof-checker ported to the mowgli version
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:47:55 +0000 (15:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:47:55 +0000 (15:47 +0000)
commitc78c5302b0a70c7b81ba2f02af59fee2139d8d1e
treee8a0df4634a9191e35de67ce706351bd591813c5
parent3857ed609d4f77e7554d18df5ef7c5a4d129f182
proof-checker ported to the mowgli version
helm/scripts/template.cshrc
helm/scripts/template.rc