]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d1cece) | patch
auto proof are printed in procedural style
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 13:02:02 +0000 (13:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 13:02:02 +0000 (13:02 +0000)
commit36dd8daeea2b685837d27e84ca204548d8d280fd
tree8dd76f27b02aa178d10788a3bc95054ccc62d136tree | snapshot
parent5d1cece5f42866b34566a0f616aa3b46a77359a3commit | diff
auto proof are printed in procedural style
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.