]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d214c33) | patch
In place of conclude, obtain FIXMEXXX is now generated when required.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:17:47 +0000 (20:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:17:47 +0000 (20:17 +0000)
commita7ac10d52818a5f1b720474f015234933c3eab04
tree57b7dd06820e027d4b0814a8836bc91f57040320tree | snapshot
parentd214c33bbdc80874e65cbbadfd155019604856decommit | diff
In place of conclude, obtain FIXMEXXX is now generated when required.
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.