]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 020ec6b) | patch
One less open helps understanding the code!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Sep 2006 15:50:51 +0000 (15:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Sep 2006 15:50:51 +0000 (15:50 +0000)
commit9897efac755aac85095075b7e0a967fe340092c1
tree8c1205e9ee326b86f31313ecb52976b2c7ba0663tree | snapshot
parent020ec6bc6c14c1e39b2564da314a6079bb34f79ccommit | diff
One less open helps understanding the code!
components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.