]> matita.cs.unibo.it Git - helm.git/commit
Procedural: bug fix in the procedural rendering of the abstraction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Jul 2008 22:17:46 +0000 (22:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Jul 2008 22:17:46 +0000 (22:17 +0000)
commit54522577365be23b788d66c851ae5c78aebe5ffb
tree9b3805474ec254545a39b2e969547507d45c9012
parent128ea02422e0cc4254ea3f8e4b0c5248c7182479
Procedural: bug fix in the procedural rendering of the abstraction
helm/software/components/acic_procedural/acic2Procedural.ml