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

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

2008-12-06	Ferruccio Guidi	metaAut: now we use hash tables properly (processing...	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	new exception captured	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Added new syntax Type[n] where n is a number.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Debugging code removed	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Debugging instructions removed.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Claudio Sacerdoti...	Case-sensitive fixes.	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	a few missing ~subst added to whd	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	coercions are there, but not heavily tested	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	if todo_dom was [] disambiguation was performed twice	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	still commented, but benchmarks the new/old disambiguti...	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	disambiguation takes ~mk_localization_tbl and not ...	commit \| commitdiff \| tree \| snapshot
2008-12-05	Enrico Tassi	raise failure instead of uncertain if two terms are...	commit \| commitdiff \| tree \| snapshot
2008-12-04	Enrico Tassi	Fixes:	commit \| commitdiff \| tree \| snapshot
2008-12-04	Enrico Tassi	housekeeping:	commit \| commitdiff \| tree \| snapshot
2008-12-04	Enrico Tassi	Bug fixed: pretty-printing of aliases when the OK butto...	commit \| commitdiff \| tree \| snapshot
2008-12-03	Claudio Sacerdoti...	The aliases and multi_aliases in the lexicon status...	commit \| commitdiff \| tree \| snapshot
2008-12-03	Ferruccio Guidi	improved interface for brgEnvironment	commit \| commitdiff \| tree \| snapshot
2008-12-03	Ferruccio Guidi	log facility, initial environment for basic_rg	commit \| commitdiff \| tree \| snapshot
2008-12-02	Ferruccio Guidi	- we updated some preambles to match that of nUri.ml	commit \| commitdiff \| tree \| snapshot
2008-12-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	0.5.6 almost ok	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	0.5.6	commit \| commitdiff \| tree \| snapshot
2008-12-01	Ferruccio Guidi	we start a kernel for the version "basic with reverse...	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	all done	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	more ex and more notation	commit \| commitdiff \| tree \| snapshot
2008-12-01	Enrico Tassi	better doc	commit \| commitdiff \| tree \| snapshot
2008-12-01	Claudio Sacerdoti...	rt.op and check.opt removed from Makefile	commit \| commitdiff \| tree \| snapshot
2008-11-30	Enrico Tassi	natural deduction support for lemmas with premises	commit \| commitdiff \| tree \| snapshot
2008-11-30	Ferruccio Guidi	lambda-delta/toplevel: improved transformation from...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Ferruccio Guidi	cicDischarge: final fixup. Now correctly processes...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Ferruccio Guidi	ng_disambiguation ng_kernel ng_refiner disambiguation...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	it works!	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	new disambiguator almost attached	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	\forall x:?. and \forall x. both generate a meta for...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	metas for terms have height 3	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	virtualbox guide almost ok	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom