]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 156e9d1) | patch
Matitac now accepts multiple targets :-) (but only in the same root :-(
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jan 2008 17:35:11 +0000 (17:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jan 2008 17:35:11 +0000 (17:35 +0000)
commit6010a5725c95faf03d3f9031203717517582d086
treec8e5059b24d9b03ac078699f203baf1929d57265tree | snapshot
parent156e9d172f3fd2fd7f2d5f0f88c8662c2c0fd796commit | diff
Matitac now accepts multiple targets :-) (but only in the same root :-(
helm/software/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.