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

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

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
2006-02-03	Enrico Tassi	added bg	commit \| commitdiff \| tree
2006-02-03	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-02	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-02	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-02	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-02-02	Enrico Tassi	more style fixes	commit \| commitdiff \| tree
2006-02-02	Enrico Tassi	ported to the IEEE latex8 style	commit \| commitdiff \| tree
2006-02-01	Enrico Tassi	added links to svn tarballs	commit \| commitdiff \| tree
2006-01-31	Enrico Tassi	added fix for marangon	commit \| commitdiff \| tree
2006-01-31	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-01-31	Enrico Tassi	fixed some depends	commit \| commitdiff \| tree
2006-01-31	Enrico Tassi	minor fixes to ENGLISH	commit \| commitdiff \| tree
2006-01-31	Enrico Tassi	some makefile work	commit \| commitdiff \| tree
2006-01-30	Enrico Tassi	fixed cmi:cm(x)a problem in makefiles	commit \| commitdiff \| tree
2006-01-30	Enrico Tassi	CSC/Occam chain-saw/razor on tinycals and library generation...	commit \| commitdiff \| tree
2006-01-30	Enrico Tassi	few bits for coq comparison of patterns	commit \| commitdiff \| tree
2006-01-29	Enrico Tassi	chosmetic	commit \| commitdiff \| tree
2006-01-26	Enrico Tassi	some more fixes	commit \| commitdiff \| tree
2006-01-23	Enrico Tassi	uniformed (G\|g)etter with \GETTER	commit \| commitdiff \| tree
2006-01-22	Enrico Tassi	added proof of SN for T+ind	commit \| commitdiff \| tree
2006-01-22	Enrico Tassi	draft of compilation/decompilatio	commit \| commitdiff \| tree
2006-01-18	Enrico Tassi	debug prints commented	commit \| commitdiff \| tree
2006-01-18	Enrico Tassi	some debug prints/stats	commit \| commitdiff \| tree
2006-01-18	Enrico Tassi	Universes speedup:	commit \| commitdiff \| tree
2006-01-18	Enrico Tassi	fast hack to fix decompilation with -nodb with the...	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fixed coercions undoooing	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fixed	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fixed compilation order	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fixes for paramodulation relocation	commit \| commitdiff \| tree
2006-01-12	Enrico Tassi	fixed paramodulation trnsition	commit \| commitdiff \| tree
2006-01-11	Enrico Tassi	mah...	commit \| commitdiff \| tree
2006-01-11	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-01-11	Enrico Tassi	Added $SVNOPTION.	commit \| commitdiff \| tree
2006-01-10	Enrico Tassi	LIMIT 0,-1 no more valid --> removed	commit \| commitdiff \| tree
2006-01-09	Enrico Tassi	added again the bin files	commit \| commitdiff \| tree
2006-01-09	Enrico Tassi	moved away broken files	commit \| commitdiff \| tree
2006-01-09	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-01-09	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-01-09	Enrico Tassi	moved to svn	commit \| commitdiff \| tree
2005-12-26	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	beauty\!	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	beauty\!	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	more fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	attempt to move nightly profiling to svn	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	test commit	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fixed -f in clean	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
next

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

RSS Atom