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	66faca1dc849662e27d760b950294ef66a5741b3
tree	7ce81fe0785e9fcd02d692d58544ea4988d98505	tree \| snapshot
parent	3ab8f327eb6f492a7780b2309beb495e22f2bba0	commit \| diff

moved to pkg-ocaml-maint

23 files changed:

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

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

RSS Atom