]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 622a76e) | patch
magic number incremented (because of the new declarative commands)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 11:32:44 +0000 (11:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2006 11:32:44 +0000 (11:32 +0000)
commit4493f7cb66c30bc87dd662b932f1a67412d9022d
treebef9630af23ad541e0d2554d1a8936413b5b48e3tree | snapshot
parent622a76e7473084ea2dafb34cbc52fb7756b809b2commit | diff
magic number incremented (because of the new declarative commands)
helm/software/components/grafite/grafiteAst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.