]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8965514) | patch
more informations on nodes, fixed a bug on conversion, we use ; instead of . whenever...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 May 2007 17:08:57 +0000 (17:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 May 2007 17:08:57 +0000 (17:08 +0000)
commitf6ace99a477254b2d9dceb7408cddab680b320db
tree30fa67124f305bff9c3ba1cb52c60e7d1e0c1448tree | snapshot
parent89655144b187b23aa97eb13717d6178ed5a32cf7commit | diff
more informations on nodes, fixed a bug on conversion, we use ; instead of . whenever possible in rendering
components/acic_procedural/acic2Procedural.ml diff | blob | history
components/acic_procedural/proceduralOptimizer.ml diff | blob | history
components/acic_procedural/proceduralTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.