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

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

2007-12-08	Enrico Tassi	the is_structure is a bad idea if you don't have canonical...	commit \| commitdiff \| tree
2007-12-06	Enrico Tassi	excede->excess	commit \| commitdiff \| tree
2007-12-06	Enrico Tassi	excedence -> excess	commit \| commitdiff \| tree
2007-12-06	Enrico Tassi	weight -> value	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	refactoring of some lemmas, shorter proofs	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	added do_heavy_checks documentation	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	do_heavy_checks not always true, take ths option from...	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	added do_heavy_checks default	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	if parameter type is given, this assert is false	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	sandwitch theorem done	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	removed all the axioms!!!	commit \| commitdiff \| tree
2007-12-04	Enrico Tassi	sligtly more general results, still to reorganize	commit \| commitdiff \| tree
2007-12-03	Enrico Tassi	ok	commit \| commitdiff \| tree
2007-12-03	Enrico Tassi	1 lemma left!!!!	commit \| commitdiff \| tree
2007-12-01	Enrico Tassi	carabinieri almost done	commit \| commitdiff \| tree
2007-11-30	Enrico Tassi	carabinieri almost done	commit \| commitdiff \| tree
2007-11-30	Enrico Tassi	cleanup of the eq_trans burdain	commit \| commitdiff \| tree
2007-11-30	Enrico Tassi	3.11 !!!	commit \| commitdiff \| tree
2007-11-30	Enrico Tassi	added a way to generate all the utf8 symbols	commit \| commitdiff \| tree
2007-11-28	Enrico Tassi	more stuff	commit \| commitdiff \| tree
2007-11-28	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-27	Enrico Tassi	....	commit \| commitdiff \| tree
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-27	Enrico Tassi	major reorganization (read cleanup)	commit \| commitdiff \| tree
2007-11-27	Enrico Tassi	bir georganization, most of the structures done	commit \| commitdiff \| tree
2007-11-26	Enrico Tassi	reorganization of many files according to the new basic...	commit \| commitdiff \| tree
2007-11-26	Enrico Tassi	for csc	commit \| commitdiff \| tree
2007-11-26	Enrico Tassi	pretty	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	since the previous commit fixed some bugs when the...	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	restored the right context used to generate names....	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	fast and sound registry lists	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	lemma finisced	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	lemma 3.57 half done!!!!	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	notation in autogui	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-20	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-20	Enrico Tassi	opps, a changelog was already there	commit \| commitdiff \| tree
2007-11-19	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-17	Enrico Tassi	fixed bugs found by csc	commit \| commitdiff \| tree
2007-11-17	Enrico Tassi	moved to pkg-ocaml-maint	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	hidded publish-devel button, too dangerous for the...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	hidded all hbugs related stuff	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	from the tarball removed all contribs, they used to...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	nocomposites	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	compose tactic restore and added nocomposites keyword	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	more cleanup	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added recommends graphvi	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	xxx	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added homepage field in control	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	fix	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	fix -noinnertypes set to true!	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	removed dummy MATITA_CFLAGS assignement	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added default for matita.noiinertypes	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	menu fised	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	propagation of noinnertypes to matitac	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added -noinnertypes	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	declared eq_sym as a coercion and added 2 lemmas for...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	autobatch => [auto]	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	removed ugly prerr_endline	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added --version to allow help2man	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added manpages	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	matita-icon	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	wrong dependency removed	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	changelog to -rc-1	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	rc-1	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added ~delta parameter to saturate_term and used it...	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	xxx	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	fixed notation	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	ogroups almost finished	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-13	Enrico Tassi	End of groups :-)	commit \| commitdiff \| tree
2007-11-13	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	some work till the need of redoing all groups based...	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	since there is no more tab, the modification of the...	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	removed ugly printing	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	ordered_sets are built with excedence	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	added ordered sets	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	renamed ordered sets into excedence.ma	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	relocated	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	removed dust	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	HIDDEN (since glade do not read out file properly anymore...	commit \| commitdiff \| tree
next

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

RSS Atom