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

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

2007-11-27	Claudio Sacerdoti...	Options declared but not parsed.	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Ported to camlp5 < 5.00	commit \| commitdiff \| tree \| snapshot
2007-11-27	Claudio Sacerdoti...	Back-ported to camlp5 < 5.00.	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	remove debug fake data	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	(hackish) scripts for testing spurious disambiguation...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	add "-order" cmdline option to just print a possible...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	change naming scheme for rottened script, so that they...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	major reorganization (read cleanup)	commit \| commitdiff \| tree \| snapshot
2007-11-27	Enrico Tassi	bir georganization, most of the structures done	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	avoid rottening of constructor names in pattern matchings	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	ignore sqlite db and rottener* executables	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	- use "O" as the rottening token	commit \| commitdiff \| tree \| snapshot
2007-11-27	Stefano Zacchiroli	make target for cleaning rottened files	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	reorganization of many files according to the new basic...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	first draft of a script to mechanically introduce ...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	ignore *.o	commit \| commitdiff \| tree \| snapshot
2007-11-26	Stefano Zacchiroli	add dump of position information in the lexed file	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Axiom moved from ex_deriv to deriv where it belongs to.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Notation improved.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Some code clean-up.	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Disambiguation error compaction is now performed in...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	for csc	commit \| commitdiff \| tree \| snapshot
2007-11-26	Enrico Tassi	pretty	commit \| commitdiff \| tree \| snapshot
2007-11-26	Claudio Sacerdoti...	Patch to automatically generate filename.error.md5...	commit \| commitdiff \| tree \| snapshot
2007-11-26	Andrea Asperti	Almost there.	commit \| commitdiff \| tree \| snapshot
2007-11-25	Claudio Sacerdoti...	This version of disambiguate.ml implements yet another...	commit \| commitdiff \| tree \| snapshot
2007-11-25	Claudio Sacerdoti...	Bug fixed: an unification exception used to escape...	commit \| commitdiff \| tree \| snapshot
2007-11-23	Enrico Tassi	since the previous commit fixed some bugs when the...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom