]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8285ad) | patch
Porting of Sambin's stuff started.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:33:30 +0000 (17:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Dec 2009 17:33:30 +0000 (17:33 +0000)
commit8300e0de4b379e9ab9f2ce00d3f9e3d93c8bd943
treee535d087425ff9cdfe948ab45f42fd516d759dc5tree | snapshot
parenta8285ad2e16e571100a666bc9178347d9e61dbe5commit | diff
Porting of Sambin's stuff started.
Everything is now automatically enriched using hints.
It seems to work quite smoothly.
helm/software/matita/nlibrary/overlap/o-algebra.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.