]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c24781) | patch
the in clause of the match costruction was wrongly output
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 13:43:17 +0000 (13:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 13:43:17 +0000 (13:43 +0000)
commit2647a6b8df8fd913b05e33ef8606197cae825281
treebce2165ae026f11e7e2d003a7b29bbbb05833e3dtree | snapshot
parent7c24781a5668273116bb64e93e56f4ab1ab3fedecommit | diff
the in clause of the match costruction was wrongly output
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.