]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7758cfd) | 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)
commit1dbbb98181ab7c40ed2da6a941a69833b00a6aae
tree1714d9d436b5b3e57ae6b76f8b2bf93b3f68b146tree | snapshot
parent7758cfd759de8f4f02e36b2e67375274033eefd1commit | diff
In place of conclude, obtain FIXMEXXX is now generated when required.
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.