]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a5997d) | patch
added sort CProp V7_3_new_exportation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 2 Dec 2003 13:33:55 +0000 (13:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 2 Dec 2003 13:33:55 +0000 (13:33 +0000)
commit9a98225fc983d343e5ba3c48b222dec5ed9a13af
treea531794ace40be29de471215bdf7619163dcccf0tree | snapshot
parent0a5997d9186d1c81abab57d3212165735af7bc2fcommit | diff
added sort CProp
helm/dtd/cic.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.