]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61370f5) | patch
set environment trust to false to avoid dummy proof checking
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 18 Nov 2004 16:50:34 +0000 (16:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 18 Nov 2004 16:50:34 +0000 (16:50 +0000)
commit2b28b6c28c01a087753f0c8c65e0fac41e2cd0ad
tree5cba1a7dc2ccfe5c2b673b7627e03b3ac9b600adtree | snapshot
parent61370f56adef637d71b1709b53140ba8785b3b53commit | diff
set environment trust to false to avoid dummy proof checking
helm/proofChecker/proofChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.