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

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

2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	added generic marshaller	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	old files	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Stefano Zacchiroli	removed old Makefile	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	bench	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	__ files are removed	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	no more "completed in ."	commit \| commitdiff \| tree \| snapshot
2005-12-21	Claudio Sacerdoti...	Huge reorganization of matita and ocaml.	commit \| commitdiff \| tree \| snapshot
2005-12-21	Claudio Sacerdoti...	Huge reorganization of matita and ocaml.	commit \| commitdiff \| tree \| snapshot
2005-12-21	Enrico Tassi	fixed cicbrowser.opt argv.(0)	commit \| commitdiff \| tree \| snapshot
2005-12-20	Stefano Zacchiroli	bugfix: typo which implied using the wrong pattern	commit \| commitdiff \| tree \| snapshot
2005-12-20	Enrico Tassi	added ocamldep.opt checking	commit \| commitdiff \| tree \| snapshot
2005-12-19	Andrea Asperti	moved term indexing (in both discrimination and path...	commit \| commitdiff \| tree \| snapshot
2005-12-19	Andrea Asperti	Discrimination and trie removed.	commit \| commitdiff \| tree \| snapshot
2005-12-19	Stefano Zacchiroli	upgraded dependency figures	commit \| commitdiff \| tree \| snapshot
2005-12-19	Stefano Zacchiroli	removed spurious arrows from Matita	commit \| commitdiff \| tree \| snapshot
2005-12-19	Andrea Asperti	added discrimination tree	commit \| commitdiff \| tree \| snapshot
2005-12-19	Andrea Asperti	moved trie data-structure	commit \| commitdiff \| tree \| snapshot
2005-12-19	Stefano Zacchiroli	libraries-ext.ps generation (dep graph with daemons...	commit \| commitdiff \| tree \| snapshot
2005-12-16	Enrico Tassi	regenerated	commit \| commitdiff \| tree \| snapshot
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree \| snapshot
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree \| snapshot
2005-12-15	marangon	...	commit \| commitdiff \| tree \| snapshot
2005-12-15	marangon	added -I ../.. (for coq.ma)	commit \| commitdiff \| tree \| snapshot
2005-12-15	Stefano Zacchiroli	ignore generated images	commit \| commitdiff \| tree \| snapshot
2005-12-15	Stefano Zacchiroli	added htaccess	commit \| commitdiff \| tree \| snapshot
2005-12-14	Enrico Tassi	rm .depend	commit \| commitdiff \| tree \| snapshot
2005-12-14	Enrico Tassi	added -I../..	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	one more try	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	aaaa	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	added ensure_path_exists to save_moo	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	fixed_names	commit \| commitdiff \| tree \| snapshot
2005-12-13	Enrico Tassi	fixed_names	commit \| commitdiff \| tree \| snapshot
2005-12-13	Alberto Griggio	added comment explaining the meaning of the return...	commit \| commitdiff \| tree \| snapshot
2005-12-13	Alberto Griggio	added comment explaining the meaning of the return...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	bugfix: tactic invocations from contextual menu no...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	added contextual menu to act over selected terms	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	coercion command now requires an uri	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	ported to new types in grafite*/	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	- coercion now requires an URI	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	abstracted pretty printers over inner pretty printing...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	changed pattern datatype:	commit \| commitdiff \| tree \| snapshot
2005-12-12	Stefano Zacchiroli	add to the ids_to_father_ids table entries from hypothe...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fixed coercions	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fixed undo support for coercions inside records	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	convert does not export xfc->png properly...	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	added developers	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-12-12	Enrico Tassi	first draft	commit \| commitdiff \| tree \| snapshot
2005-12-09	Claudio Sacerdoti...	Bug fixed: errors of phase 7 were no longer printed :-)	commit \| commitdiff \| tree \| snapshot
2005-12-09	Claudio Sacerdoti...	1. useless code (undebrujin) removed from disambiguate.ml	commit \| commitdiff \| tree \| snapshot
2005-12-09	Stefano Zacchiroli	commented out some debugging prints	commit \| commitdiff \| tree \| snapshot
2005-12-09	Stefano Zacchiroli	implemented copy/cut/paste/delete/pastePattern	commit \| commitdiff \| tree \| snapshot
2005-12-09	Enrico Tassi	ficed include and -I	commit \| commitdiff \| tree \| snapshot
2005-12-07	Claudio Sacerdoti...	More compact disambiguation errors.	commit \| commitdiff \| tree \| snapshot
2005-12-07	Claudio Sacerdoti...	The last commit about coercions disactivated localizati...	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	since the moo content is not OK... we need an hack.	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree \| snapshot
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree \| snapshot
2005-12-06	Stefano Zacchiroli	bugfixes:	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Typos.	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Minor changes.	commit \| commitdiff \| tree \| snapshot
2005-12-06	Andrea Asperti	Naming convention.	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	better output from main_demod_equalities	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	added function term_of_equality to re-build the Cic...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Claudio Sacerdoti...	eval_from_stream_greedy finally got rid of!	commit \| commitdiff \| tree \| snapshot
2005-12-05	Alberto Griggio	removed original equalities from the output of main_dem...	commit \| commitdiff \| tree \| snapshot
2005-12-05	Claudio Sacerdoti...	1. Several files in grafite that should be in grafite_p...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom