]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d87d7f2) | patch
acic_procedural: changed module compilation order
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Feb 2007 16:27:33 +0000 (16:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Feb 2007 16:27:33 +0000 (16:27 +0000)
commit673e954b37f3a23e73208c67267c7e9d31e3916d
treefb25519cfeeb49198b37d2fd4919828f1d620be2tree | snapshot
parentd87d7f2035e02a4740b8b8147da634884cf0a5a2commit | diff
acic_procedural: changed module compilation order
TermAcicContent: bug fix in AMutCase
                 the presence of left parametes was not taken into account
components/acic_content/termAcicContent.ml diff | blob | history
components/acic_procedural/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.