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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 12 Jan 2006 10:56:18 +0000 (10:56 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 12 Jan 2006 10:56:18 +0000 (10:56 +0000)
commit	c84e96bf662f4372a1732926f28429b0f73f8a61
tree	22a96affd23e96960b7a88da97e07f505e078947	tree \| snapshot
parent	792b5d29ebae8f917043d9dd226692919b5d6ca1	commit \| diff

enable building with ocaml 3.08.x
- do not build the GUI (which requires lablgtksourceview)
- do not append -for-pack
- checkout from the tests branch

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

RSS Atom

helm/matita/Makefile.in		diff \| blob \| history
helm/matita/configure.ac		diff \| blob \| history
helm/matita/scripts/crontab.sh		diff \| blob \| history
helm/matita/scripts/profile_svn.sh		diff \| blob \| history
helm/ocaml/paramodulation/Makefile		diff \| blob \| history