]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9ec0bd) | patch
"the thesis becomes" now always performs a change.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 16:50:15 +0000 (16:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 16:50:15 +0000 (16:50 +0000)
commit3a841c391df854fa4397521d9bcd775a7804d84e
tree69f224dfbe3dca8328c469d0667c4cb14924081ftree | snapshot
parentf9ec0bd466364409050ffccc94e9cb863e2ddf28commit | diff
"the thesis becomes" now always performs a change.
helm/software/components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.