]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43119d1) | patch
- removed checkings for objects Definition and Axiom.
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 22 Oct 2002 14:25:56 +0000 (14:25 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 22 Oct 2002 14:25:56 +0000 (14:25 +0000)
commitb72beb68cf0c34cb0785ad7e2a4c426494e29e6a
treeb6cd655fa8320f3fea5fdd5b4d56b9c7febeb3b8tree | snapshot
parent43119d1d9e4d03e6c441bc28918f91478e37ca61commit | diff
- removed checkings for objects Definition and Axiom.
- inserted checkings for objects CostantType and ConstantBody.
- modified mode of view params (not "path/varname.var" but "varname").
- modified checkings for term LAMBDA, LETIN, PROD (with insertion of checkings for decl and def when used by these terms)
helm/style/annotatedcont.xsl diff | blob | history
helm/style/basic.xsl diff | blob | history
helm/style/content.xsl diff | blob | history
helm/style/objcontent.xsl diff | blob | history
helm/style/objtheorycontent.xsl diff | blob | history
helm/style/proofs.xsl diff | blob | history
helm/style/rootcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.