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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 4 Jan 2008 18:31:43 +0000 (18:31 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 4 Jan 2008 18:31:43 +0000 (18:31 +0000)
commit	a1a902e5c22ca2d322604551cffa5570e96542d0
tree	73c5a983438049721632e718026348e69f96c7aa	tree \| snapshot
parent	5356519d50425dfca5b42ad5faeb2181d4240c78	commit \| diff

make directory erased, no more -bench since it is the default,
-v activates verbose mode, no more "matita.verbosity" and "matita.bench"
just "matita.verbose". erased matitatop.

19 files changed:

components/library/libraryClean.ml		diff \| blob \| history
make/main.ml	[deleted file]	blob \| history
make/make.ml	[deleted file]	blob \| history
make/make.mli	[deleted file]	blob \| history
make/test/a.c	[deleted file]	blob \| history
make/test/b.c	[deleted file]	blob \| history
make/test/c.c	[deleted file]	blob \| history
make/test/d.c	[deleted file]	blob \| history
make/test/e.c	[deleted file]	blob \| history
matita/.depend		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/matitaInit.ml		diff \| blob \| history
matita/matitaMisc.ml		diff \| blob \| history
matita/matitaWiki.ml		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitacLib.mli		diff \| blob \| history
matita/matitaclean.ml		diff \| blob \| history
matita/matitatop.ml	[deleted file]	blob \| history

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

RSS Atom