]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71cc47c) | patch
new baseuri for procedural CoRN
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:47:30 +0000 (10:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:47:30 +0000 (10:47 +0000)
commitf3b2d7d538f93a97dc8992747b697600a9df869c
tree5ea51412451e9ec8f194819633f60542dd9f6393tree | snapshot
parent71cc47ca7047fdb74dca7c4d3808ccd2343ca1dbcommit | diff
new baseuri for procedural CoRN
to follow the discharge name convention adopted in applyTransformation
helm/software/matita/contribs/CoRN-Procedural/root diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.