]> matita.cs.unibo.it Git - helm.git/commit
moved to pkg-ocaml-maint
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Nov 2007 17:33:43 +0000 (17:33 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 17 Nov 2007 17:33:43 +0000 (17:33 +0000)
commit66faca1dc849662e27d760b950294ef66a5741b3
tree7ce81fe0785e9fcd02d692d58544ea4988d98505
parent3ab8f327eb6f492a7780b2309beb495e22f2bba0
moved to pkg-ocaml-maint
23 files changed:
helm/software/components/metadata/metadataConstraints.ml
helm/software/components/tactics/auto.ml
helm/software/components/tactics/auto.mli
helm/software/components/tactics/autoTypes.ml
helm/software/components/tactics/autoTypes.mli
helm/software/matita/dama/excedence.ma
helm/software/matita/dama/groups.ma
helm/software/pkg-matita/tarballs/matita-0.4.97.tar.gz [deleted file]
helm/software/pkg-matita/tarballs/matita_0.4.97.orig.tar.gz [deleted symlink]
helm/software/pkg-matita/trunk/debian/TODO.Debian [deleted file]
helm/software/pkg-matita/trunk/debian/changelog [deleted file]
helm/software/pkg-matita/trunk/debian/compat [deleted file]
helm/software/pkg-matita/trunk/debian/control [deleted file]
helm/software/pkg-matita/trunk/debian/copyright [deleted file]
helm/software/pkg-matita/trunk/debian/matita-standard-library.dirs [deleted file]
helm/software/pkg-matita/trunk/debian/matita-standard-library.install [deleted file]
helm/software/pkg-matita/trunk/debian/matita.dirs [deleted file]
helm/software/pkg-matita/trunk/debian/matita.install [deleted file]
helm/software/pkg-matita/trunk/debian/matita.menu [deleted file]
helm/software/pkg-matita/trunk/debian/patches/00dpatch.conf [deleted file]
helm/software/pkg-matita/trunk/debian/patches/00list [deleted file]
helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch [deleted file]
helm/software/pkg-matita/trunk/debian/rules [deleted file]