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

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

2009-10-13	Cosimo Oliboni	freescale porting, work in progress	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	relocate fixed	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	debug + relocate uses Prop instead of (Prop Prop)....	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	one mode debug item	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	no mode middle age debug menu	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	more comments	commit \| commitdiff \| tree \| snapshot
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	1) Bug fixed: the case Meta(i) vs Meta(i) was handled...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	Bug fixed: in case of (t ...) where t has flexible...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	added last 10 months work...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	new standard library inside path	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	Closed metas must have closed (expected) types.	commit \| commitdiff \| tree \| snapshot
2009-10-12	Claudio Sacerdoti...	Improved debugging code.	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-11	Enrico Tassi	no need to compile/install the standard library. if...	commit \| commitdiff \| tree \| snapshot
2009-10-11	Enrico Tassi	can live without library db	commit \| commitdiff \| tree \| snapshot
2009-10-11	Enrico Tassi	auto with intro	commit \| commitdiff \| tree \| snapshot
2009-10-08	Claudio Sacerdoti...	A new switch to activate/deactive nCicReduction pretty...	commit \| commitdiff \| tree \| snapshot
2009-10-08	Claudio Sacerdoti...	Printing extremely large terms no longer raises Failure.	commit \| commitdiff \| tree \| snapshot
2009-10-08	Ferruccio Guidi	drgAut: we fixed the order of multi application arguments	commit \| commitdiff \| tree \| snapshot
2009-10-08	Enrico Tassi	removed misleading context	commit \| commitdiff \| tree \| snapshot
2009-10-08	Enrico Tassi	new discrimination tree instantiation with	commit \| commitdiff \| tree \| snapshot
2009-10-08	Enrico Tassi	avoid warning	commit \| commitdiff \| tree \| snapshot
2009-10-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	removed printing	commit \| commitdiff \| tree \| snapshot
2009-10-07	Ferruccio Guidi	we enabled the new style xml exportation, in particular...	commit \| commitdiff \| tree \| snapshot
2009-10-07	Claudio Sacerdoti...	Performance improvement by preserving more sharing...	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	terms indexed in the automation cache are saturated	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	short names	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	auto works on the regular tactics status	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	the wrap function takes a string argument so that we...	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	unfocus can be performed also if all goals are closed	commit \| commitdiff \| tree \| snapshot
2009-10-07	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2009-10-07	Enrico Tassi	fixed Ref generation	commit \| commitdiff \| tree \| snapshot
2009-10-07	Claudio Sacerdoti...	- oCic2NCic and nCic2OCic moved to ng_library	commit \| commitdiff \| tree \| snapshot
2009-10-06	Ferruccio Guidi	drgOutput: bug fix	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	removed useless stuff	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	some fixes	commit \| commitdiff \| tree \| snapshot
2009-10-06	Ferruccio Guidi	drg: we added the "positive projection" in environments	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	fixed constructor on non inductive type	commit \| commitdiff \| tree \| snapshot
2009-10-06	Wilmer Ricciotti	Syntax highlighting for 'ninverter' keyword	commit \| commitdiff \| tree \| snapshot
2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	unification pps can be activated by the menu debug	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-10-06	Enrico Tassi	nAuto W.I.P.	commit \| commitdiff \| tree \| snapshot
2009-10-06	Claudio Sacerdoti...	Improved error message.	commit \| commitdiff \| tree \| snapshot
2009-10-05	Ferruccio Guidi	new toplevel: tentative implementation with more CPS	commit \| commitdiff \| tree \| snapshot
2009-10-05	Ferruccio Guidi	- common/entity: new format for kernel entities	commit \| commitdiff \| tree \| snapshot
2009-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	auto and auto_paramod are in nAuto	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	new file for auto	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	downcast removed	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	added auto_cache in the dupable status after an	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	new ng_library module	commit \| commitdiff \| tree \| snapshot
2009-10-05	Enrico Tassi	uffa	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	Does not compile! Wrong unification hint?	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	hints fixed	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	fixed bug in coercion application, input/output swapped...	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	if the query has a completely flexible side, the empty...	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	hints input is cleared from projection redexes	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	projections redex (proj (mk_foo ...)) where mk_foo	commit \| commitdiff \| tree \| snapshot
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	commit \| commitdiff \| tree \| snapshot
2009-10-02	Enrico Tassi	better nlet rec boxing	commit \| commitdiff \| tree \| snapshot
2009-10-02	Claudio Sacerdoti...	Wrong context (again!)	commit \| commitdiff \| tree \| snapshot
2009-10-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-10-01	Ferruccio Guidi	better static html pages, now they are generted in...	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	- delift_type_wrt_term fixed in many ways	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	fixed the type of tactic_term, attributes were useless	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	instantiate merges tags	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	added sortification for (? args), untested code	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	sortification simplified	commit \| commitdiff \| tree \| snapshot
2009-10-01	Enrico Tassi	fixed off-by-one	commit \| commitdiff \| tree \| snapshot
2009-09-30	Claudio Sacerdoti...	With this hint, it diverges.	commit \| commitdiff \| tree \| snapshot
2009-09-30	Enrico Tassi	rewritten instantiate code	commit \| commitdiff \| tree \| snapshot
2009-09-30	Claudio Sacerdoti...	New datatype for metasenv/subst: full fledged attribute...	commit \| commitdiff \| tree \| snapshot
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	commit \| commitdiff \| tree \| snapshot
2009-09-30	Claudio Sacerdoti...	Better (but still broken) fix for the case ?sort vs...	commit \| commitdiff \| tree \| snapshot
2009-09-30	Claudio Sacerdoti...	The term contains dummy.conv that was searched over...	commit \| commitdiff \| tree \| snapshot
2009-09-29	Claudio Sacerdoti...	1) improved (???) debugging, with	commit \| commitdiff \| tree \| snapshot
2009-09-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-09-29	Claudio Sacerdoti...	Re-indentiation	commit \| commitdiff \| tree \| snapshot
2009-09-29	Enrico Tassi	ugly coerc db print	commit \| commitdiff \| tree \| snapshot
2009-09-29	Claudio Sacerdoti...	The unification does not longer use the refiner (urrah!)	commit \| commitdiff \| tree \| snapshot
2009-09-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom