]> matita.cs.unibo.it Git - helm.git/commit
package dependences calulation fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 11:09:48 +0000 (11:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Feb 2003 11:09:48 +0000 (11:09 +0000)
commitb3e00c5c1ff91409a2065feac83b3feec65cc474
tree975697028210d6cd1bf267c58977164ab82fe8c6
parent34feb17401c569973c510ae75360be275587d315
package dependences calulation fixed
14 files changed:
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/ocaml/Makefile.common.in
helm/ocaml/cic/.depend
helm/ocaml/cic_annotations/.depend
helm/ocaml/cic_annotations_cache/.depend
helm/ocaml/cic_cache/.depend
helm/ocaml/cic_proof_checking/.depend
helm/ocaml/cic_textual_parser/.depend
helm/ocaml/cic_unification/.depend
helm/ocaml/getter/.depend
helm/ocaml/pxp/.depend
helm/ocaml/tactics/.depend
helm/ocaml/urimanager/.depend