]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3cc1fe) | patch
List of tactics implemented and to implement (italian only).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Sep 2002 15:22:28 +0000 (15:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Sep 2002 15:22:28 +0000 (15:22 +0000)
commitfa3b2266649e824dd61152b74b274528bd3646bb
treec977945f41adefddf189d84c2f26358bedd129bbtree | snapshot
parentf3cc1fe99d45cf1f473226d91df36118db638db5commit | diff
List of tactics implemented and to implement (italian only).
helm/gTopLevel/TATTICHE [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.