]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbd3ca0) | patch
- applyTransformation: bugfix in the rendering of records
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 11 Jun 2009 22:02:51 +0000 (22:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 11 Jun 2009 22:02:51 +0000 (22:02 +0000)
commita14157957532b731330492388ab32909b4147758
tree3137d5f109f3d3fb1375ea1881dc2f45b332928ctree | snapshot
parentcbd3ca06d7b0c8ea32cfc15b7206a940259e479ecommit | diff
- applyTransformation: bugfix in the rendering of records

now algebra/monoids.ma is fully reconstructed :)
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/library/algebra/monoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.