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

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

2007-11-23	Enrico Tassi	restored the right context used to generate names....	commit \| commitdiff \| tree \| snapshot
2007-11-23	Claudio Sacerdoti...	This alternative version of disambiguate.crit2 implemen...	commit \| commitdiff \| tree \| snapshot
2007-11-23	Enrico Tassi	fast and sound registry lists	commit \| commitdiff \| tree \| snapshot
2007-11-23	Stefano Zacchiroli	* NOT RELEASED YET	commit \| commitdiff \| tree \| snapshot
2007-11-23	Stefano Zacchiroli	* bump deps on lablgtk2 to match lates upstream	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	lemma finisced	commit \| commitdiff \| tree \| snapshot
2007-11-22	Claudio Sacerdoti...	Bug fixed in printing of passes in error messages.	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	lemma 3.57 half done!!!!	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	notation in autogui	commit \| commitdiff \| tree \| snapshot
2007-11-22	Andrea Asperti	Big progress	commit \| commitdiff \| tree \| snapshot
2007-11-22	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-21	Claudio Sacerdoti...	Very incomplete example of simple calculus exercises...	commit \| commitdiff \| tree \| snapshot
2007-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-20	Enrico Tassi	opps, a changelog was already there	commit \| commitdiff \| tree \| snapshot
2007-11-19	Claudio Sacerdoti...	Bug fixed: local type declarations are not allowed...	commit \| commitdiff \| tree \| snapshot
2007-11-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-19	Andrea Asperti	Towards chebyshev.	commit \| commitdiff \| tree \| snapshot
2007-11-18	Claudio Sacerdoti...	The axiom can be proved. Just follow the hint.	commit \| commitdiff \| tree \| snapshot
2007-11-17	Enrico Tassi	fixed bugs found by csc	commit \| commitdiff \| tree \| snapshot
2007-11-17	Enrico Tassi	moved to pkg-ocaml-maint	commit \| commitdiff \| tree \| snapshot
2007-11-16	Claudio Sacerdoti...	Some notes for Enrico.	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	hidded publish-devel button, too dangerous for the...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	hidded all hbugs related stuff	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	from the tarball removed all contribs, they used to...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	nocomposites	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	compose tactic restore and added nocomposites keyword	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	more cleanup	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	added recommends graphvi	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	xxx	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	added homepage field in control	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	fix -noinnertypes set to true!	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	removed dummy MATITA_CFLAGS assignement	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	added default for matita.noiinertypes	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	menu fised	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	propagation of noinnertypes to matitac	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	added -noinnertypes	commit \| commitdiff \| tree \| snapshot
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	declared eq_sym as a coercion and added 2 lemmas for...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	autobatch => [auto]	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	removed ugly prerr_endline	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	added --version to allow help2man	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	added manpages	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	matita-icon	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	wrong dependency removed	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	changelog to -rc-1	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	rc-1	commit \| commitdiff \| tree \| snapshot
2007-11-15	Enrico Tassi	added ~delta parameter to saturate_term and used it...	commit \| commitdiff \| tree \| snapshot
2007-11-14	Claudio Sacerdoti...	Bug fixed: yet another case where tys of mutual recursi...	commit \| commitdiff \| tree \| snapshot
2007-11-14	Enrico Tassi	xxx	commit \| commitdiff \| tree \| snapshot
2007-11-14	Ferruccio Guidi	now destruct takes an optional list of term rather...	commit \| commitdiff \| tree \| snapshot
2007-11-14	Enrico Tassi	fixed notation	commit \| commitdiff \| tree \| snapshot
2007-11-14	Enrico Tassi	ogroups almost finished	commit \| commitdiff \| tree \| snapshot
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-13	Enrico Tassi	End of groups :-)	commit \| commitdiff \| tree \| snapshot
2007-11-13	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-13	Ferruccio Guidi	- ProofEngineHelpers: namer_of moved to GrafiteEngine	commit \| commitdiff \| tree \| snapshot
2007-11-13	Ferruccio Guidi	previously hidden simplifications (in old destruct...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	some work till the need of redoing all groups based...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	since there is no more tab, the modification of the...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Ferruccio Guidi	- destruct tactic: automatic simplification in case...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	removed ugly printing	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	ordered_sets are built with excedence	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	added ordered sets	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	renamed ordered sets into excedence.ma	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	relocated	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	removed dust	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	HIDDEN (since glade do not read out file properly anymo...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	new file with some relations stated in Type	commit \| commitdiff \| tree \| snapshot
2007-11-12	Enrico Tassi	ordered set is over, much new stuff coming from a coref...	commit \| commitdiff \| tree \| snapshot
2007-11-12	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-11-10	Ferruccio Guidi	old subst tactics removed. New destruct tactic used...	commit \| commitdiff \| tree \| snapshot
2007-11-10	Claudio Sacerdoti...	a) Detection of existential types now implemented	commit \| commitdiff \| tree \| snapshot
2007-11-10	Claudio Sacerdoti...	More correct (but still bugged) implementation of type...	commit \| commitdiff \| tree \| snapshot
2007-11-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2007-11-09	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2007-11-09	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-08	Ferruccio Guidi	- subst tactic keyword removed from highlight syntax...	commit \| commitdiff \| tree \| snapshot
2007-11-08	Claudio Sacerdoti...	Trivial bug fixed in type inference of LetIn source...	commit \| commitdiff \| tree \| snapshot
2007-11-08	Enrico Tassi	xxx	commit \| commitdiff \| tree \| snapshot
2007-11-08	Enrico Tassi	ported to the new destruct	commit \| commitdiff \| tree \| snapshot
2007-11-08	Claudio Sacerdoti...	Arguments of constructors in a case pattern are now...	commit \| commitdiff \| tree \| snapshot
2007-11-08	Claudio Sacerdoti...	svn:ignore set	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom