]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b6ca0e) | patch
Bug fixed: nstatus => status (to undo the changes).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 22:35:02 +0000 (22:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 May 2010 22:35:02 +0000 (22:35 +0000)
commit102cb2ba885b9fa93c824c7c07ba2467cfec0e16
tree57562c6695cc256d37d0b84c888a9119103f4669tree | snapshot
parent3b6ca0e12de74ada4da4a3500a0cbffaa260c9e1commit | diff
Bug fixed: nstatus => status (to undo the changes).

Worring warnings commented out.
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.