]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a723750) | patch
Let's play a bit with NG.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Jul 2009 13:15:30 +0000 (13:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 7 Jul 2009 13:15:30 +0000 (13:15 +0000)
commit7a9b394943d524181128816a4b02152aa79929fe
treebe8e990a7bc0312be642b29d646fd014e0414576tree | snapshot
parenta7237500e8a2a4237a6ae8ba4b8301f7bbcb6acbcommit | diff
Let's play a bit with NG.
This library is NOT meant to be the final one, just a way to experiment with
features.
helm/software/matita/nlibrary/Makefile [new file with mode: 0644] blob
helm/software/matita/nlibrary/depends [new file with mode: 0644] blob
helm/software/matita/nlibrary/depends.dot [new file with mode: 0644] blob
helm/software/matita/nlibrary/depends.png [new file with mode: 0644] blob
helm/software/matita/nlibrary/logic/connectives.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/logic/pts.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/root [new file with mode: 0644] blob
helm/software/matita/nlibrary/sets/sets.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.