matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 17 Nov 2007 17:33:43 +0000 (17:33 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 17 Nov 2007 17:33:43 +0000 (17:33 +0000)
commit	8e7751f97e50bdc18537aac7478d0621d45ab956
tree	7dca4cfb248d5cfd957e761f9ad711d69d37848e	tree \| snapshot
parent	fbfc3e402894a89b22f57e12b53e090f843a690a	commit \| diff

moved to pkg-ocaml-maint

23 files changed:

components/metadata/metadataConstraints.ml		diff \| blob \| history
components/tactics/auto.ml		diff \| blob \| history
components/tactics/auto.mli		diff \| blob \| history
components/tactics/autoTypes.ml		diff \| blob \| history
components/tactics/autoTypes.mli		diff \| blob \| history
matita/dama/excedence.ma		diff \| blob \| history
matita/dama/groups.ma		diff \| blob \| history
pkg-matita/tarballs/matita-0.4.97.tar.gz	[deleted file]	blob \| history
pkg-matita/tarballs/matita_0.4.97.orig.tar.gz	[deleted symlink]	blob \| history
pkg-matita/trunk/debian/TODO.Debian	[deleted file]	blob \| history
pkg-matita/trunk/debian/changelog	[deleted file]	blob \| history
pkg-matita/trunk/debian/compat	[deleted file]	blob \| history
pkg-matita/trunk/debian/control	[deleted file]	blob \| history
pkg-matita/trunk/debian/copyright	[deleted file]	blob \| history
pkg-matita/trunk/debian/matita-standard-library.dirs	[deleted file]	blob \| history
pkg-matita/trunk/debian/matita-standard-library.install	[deleted file]	blob \| history
pkg-matita/trunk/debian/matita.dirs	[deleted file]	blob \| history
pkg-matita/trunk/debian/matita.install	[deleted file]	blob \| history
pkg-matita/trunk/debian/matita.menu	[deleted file]	blob \| history
pkg-matita/trunk/debian/patches/00dpatch.conf	[deleted file]	blob \| history
pkg-matita/trunk/debian/patches/00list	[deleted file]	blob \| history
pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch	[deleted file]	blob \| history
pkg-matita/trunk/debian/rules	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.