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

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

2008-11-27	Enrico Tassi	New modules stack:	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	cic_disambiguation splitted into disambiguation and...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	disambiguate.ml splitted into disambiguate.ml and cicDi...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	1. grafiteDisambiguator => multiPassDisambiguator	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	new kernel is compiled since the META of grafite_parser...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	notation now digests Cic.Cast, not sure the precedence...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Enrico Tassi	disambiguation should not fail if the new refiner fails	commit \| commitdiff \| tree \| snapshot
2008-11-26	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-26	Enrico Tassi	Re-added exception, just for now (debugging).	commit \| commitdiff \| tree \| snapshot
2008-11-26	Enrico Tassi	almost done	commit \| commitdiff \| tree \| snapshot
2008-11-26	Enrico Tassi	disambiguation even more abstracted	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Ferruccio Guidi	cicUtil: we moved here pp_term from proceduralHelpers	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-25	Enrico Tassi	more on the livecd in the manual	commit \| commitdiff \| tree \| snapshot
2008-11-24	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2008-11-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-24	Enrico Tassi	formal topologies	commit \| commitdiff \| tree \| snapshot
2008-11-24	Enrico Tassi	fix some non tex symbols	commit \| commitdiff \| tree \| snapshot
2008-11-22	Ferruccio Guidi	symbolic links to use the uri manager from ng_kernel	commit \| commitdiff \| tree \| snapshot
2008-11-22	Enrico Tassi	print an error message if graphviz is not found	commit \| commitdiff \| tree \| snapshot
2008-11-22	Enrico Tassi	if gnome-help is not installed, prints an error message	commit \| commitdiff \| tree \| snapshot
2008-11-22	Enrico Tassi	better manual generation	commit \| commitdiff \| tree \| snapshot
2008-11-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-21	Enrico Tassi	one more lazy/loc	commit \| commitdiff \| tree \| snapshot
2008-11-21	Enrico Tassi	according to camlp5 sources, the dummy loc should be...	commit \| commitdiff \| tree \| snapshot
2008-11-21	Enrico Tassi	loc * lazy string -> (loc * string) lazy	commit \| commitdiff \| tree \| snapshot
2008-11-21	Enrico Tassi	disambiguation now returns and takes in input the subst...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	dama almost ok	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	reverted	commit \| commitdiff \| tree \| snapshot
2008-11-20	Enrico Tassi	dama into the library	commit \| commitdiff \| tree \| snapshot
2008-11-19	Enrico Tassi	x2sx declared as coercion and used when possible	commit \| commitdiff \| tree \| snapshot
2008-11-19	Enrico Tassi	renaming	commit \| commitdiff \| tree \| snapshot
2008-11-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-18	Enrico Tassi	0.5.5	commit \| commitdiff \| tree \| snapshot
2008-11-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-17	Enrico Tassi	exercises ready	commit \| commitdiff \| tree \| snapshot
2008-11-17	Enrico Tassi	all ex done	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	fixed	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	removed some printings	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	commented out unfinished proof	commit \| commitdiff \| tree \| snapshot
2008-11-16	Enrico Tassi	removed some printings	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	better spacing	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	apply rule (lem EM) works	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	missing subst added, now apply rule is probably enough...	commit \| commitdiff \| tree \| snapshot
2008-11-15	Claudio Sacerdoti...	New bug.	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	no more prove in palette	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	fixed or-in-left	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	fixed not-e	commit \| commitdiff \| tree \| snapshot
2008-11-15	Claudio Sacerdoti...	Another bug.	commit \| commitdiff \| tree \| snapshot
2008-11-15	Claudio Sacerdoti...	This commit shows a bug.	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	almost ready	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	rules fixed	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	make all/clean implemented	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	housekeeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	housekeeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	house keeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	disambiguation can use a goal as hint for the expected...	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	natural deduction palette	commit \| commitdiff \| tree \| snapshot
2008-11-14	Enrico Tassi	test 4 luo	commit \| commitdiff \| tree \| snapshot
2008-11-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	better names	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	disambiguation for ng terms almost there	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	some new exports	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	new meta added for ng_disambiguation	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	exported disambiguate_thing	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	occurr check fixed	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	more printings	commit \| commitdiff \| tree \| snapshot
2008-11-11	Enrico Tassi	last fixes	commit \| commitdiff \| tree \| snapshot
2008-11-11	Claudio Sacerdoti...	1. data structure for lables is now more strict	commit \| commitdiff \| tree \| snapshot
2008-11-11	Ferruccio Guidi	- we now use a streaming architecture (run time gain...	commit \| commitdiff \| tree \| snapshot
2008-11-09	Claudio Sacerdoti...	auto-param "size" missing	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	debug=false	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	Signature_of has been closed with respect to constructors.	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	The signature in "retrieve equations" must be extended...	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	some other simplification	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	ordered_set simplified	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	exercise ready	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	exercise ready	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	almost there	commit \| commitdiff \| tree \| snapshot
2008-11-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-11-06	Claudio Sacerdoti...	First attempts at the third phase.	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	added some news	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	almost ok	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	natural deduction support and example split, seems...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom