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

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

2006-03-22	Enrico Tassi	if DISTRIBUTED all targets require a depend-stamp	commit \| commitdiff \| tree
2006-03-22	Enrico Tassi	profiler on steroids. added -profile-only to specify...	commit \| commitdiff \| tree
2006-03-22	Enrico Tassi	removed mysql_escape that should be ok.... but adds...	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	added calls number	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	fixed timestamp issue on tactics.mli	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	added raw query form	commit \| commitdiff \| tree
2006-03-21	Enrico Tassi	done	commit \| commitdiff \| tree
2006-03-20	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-03-20	Enrico Tassi	removed \t	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	go	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	fixed wrong log name	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	ahh.....	commit \| commitdiff \| tree
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	another step roward the removal of do_tests.sh	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	removed php-shell scripts	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	moved to the new table	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	fixed a bug in the Makefile, generatedGui.mli no more...	commit \| commitdiff \| tree
2006-03-16	Enrico Tassi	one more step toward release and bench reorganization	commit \| commitdiff \| tree
2006-03-15	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-03-15	Enrico Tassi	more work for the release	commit \| commitdiff \| tree
2006-03-15	Enrico Tassi	snapshot for release	commit \| commitdiff \| tree
2006-03-14	Enrico Tassi	added elp to distribution	commit \| commitdiff \| tree
2006-03-13	Enrico Tassi	added check to not clean the standard library, a confirmatio...	commit \| commitdiff \| tree
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	commit \| commitdiff \| tree
2006-03-07	Enrico Tassi	added the creation of system_tables to the db when...	commit \| commitdiff \| tree
2006-02-17	Enrico Tassi	Sys.command -> Unix.system	commit \| commitdiff \| tree
2006-02-17	Enrico Tassi	tentative speedup not coercion-packing the proof after...	commit \| commitdiff \| tree
2006-02-15	Enrico Tassi	added support for "polymorphic" coercions	commit \| commitdiff \| tree
2006-02-15	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-15	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-14	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-14	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-14	Enrico Tassi	tentative fix	commit \| commitdiff \| tree
2006-02-14	Enrico Tassi	reverted orrible but correct syntax	commit \| commitdiff \| tree
2006-02-14	Enrico Tassi	fixed syntax	commit \| commitdiff \| tree

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

RSS Atom