]> matita.cs.unibo.it Git - helm.git/commit
bug fix + better obj flavour guessing via inner sorts
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 13:43:20 +0000 (13:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Mar 2009 13:43:20 +0000 (13:43 +0000)
commitcb75149567a9a21206760211eeefcd5f26321bcb
tree38a86a39e2181b448e42a9ee59e59bda56011111
parentdf3e9efe1690fb5d93061b657e6ddcc3c11745db
bug fix + better obj flavour guessing via inner sorts
helm/software/components/acic_procedural/.depend
helm/software/components/acic_procedural/.depend.opt
helm/software/components/acic_procedural/procedural1.ml