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

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

2009-10-22	Enrico Tassi	new instantiate, only known bug is w.r.t. in/out scope...	commit \| commitdiff \| tree
2009-10-22	Enrico Tassi	the trie indexes terms up to 10 nested applications...	commit \| commitdiff \| tree
2009-10-22	Enrico Tassi	more auto	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	first bits for the zipper	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	more printings	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	auto is smarter :-)	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	nauto:	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	fixed pictures	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	preserve sharing if map_term_fold_a	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	add XXX where I found a catch all statement	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	new sharing-preserving map with accumulator	commit \| commitdiff \| tree
2009-10-21	Enrico Tassi	apply the subst to the metasenv and to p	commit \| commitdiff \| tree
2009-10-18	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-17	Enrico Tassi	batch pdf generation	commit \| commitdiff \| tree
2009-10-17	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-17	Enrico Tassi	some more work	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	debug idem for auto added	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	new lambda instros and better logging	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	better indexing for auto	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	some work for auto	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	some work for auto	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	removed optimization potentially unsound	commit \| commitdiff \| tree
2009-10-16	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	cantor...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	hints were not used by reduction machines on heads	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	ncheck is not erased	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	minor fix	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	tons of typo fixed	commit \| commitdiff \| tree
2009-10-14	Enrico Tassi	CProp uri fixed	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	relocate is hopefully fixed once and for-all!	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	better screenshot	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	relocate fixed	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	better ppcontext	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	debug + relocate uses Prop instead of (Prop Prop)....	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	one mode debug item	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	no mode middle age debug menu	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	more comments	commit \| commitdiff \| tree
2009-10-13	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	added last 10 months work...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	new standard library inside path	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-12	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-11	Enrico Tassi	no need to compile/install the standard library. if...	commit \| commitdiff \| tree
2009-10-11	Enrico Tassi	can live without library db	commit \| commitdiff \| tree
2009-10-11	Enrico Tassi	auto with intro	commit \| commitdiff \| tree
2009-10-08	Enrico Tassi	removed misleading context	commit \| commitdiff \| tree
2009-10-08	Enrico Tassi	new discrimination tree instantiation with	commit \| commitdiff \| tree
2009-10-08	Enrico Tassi	avoid warning	commit \| commitdiff \| tree
2009-10-08	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	removed printing	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	terms indexed in the automation cache are saturated	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	short names	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	auto works on the regular tactics status	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	the wrap function takes a string argument so that we...	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	unfocus can be performed also if all goals are closed	commit \| commitdiff \| tree
2009-10-07	Enrico Tassi	fixed Ref generation	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	removed useless stuff	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	some fixes	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	fixed constructor on non inductive type	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	unification pps can be activated by the menu debug	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	...	commit \| commitdiff \| tree
2009-10-06	Enrico Tassi	nAuto W.I.P.	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	auto and auto_paramod are in nAuto	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	new file for auto	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	downcast removed	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	added auto_cache in the dupable status after an	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	new ng_library module	commit \| commitdiff \| tree
2009-10-05	Enrico Tassi	uffa	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	hints fixed	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	fixed bug in coercion application, input/output swapped...	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	if the query has a completely flexible side, the empty...	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	hints input is cleared from projection redexes	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	projections redex (proj (mk_foo ...)) where mk_foo	commit \| commitdiff \| tree
2009-10-02	Enrico Tassi	better nlet rec boxing	commit \| commitdiff \| tree
2009-10-01	Enrico Tassi	- delift_type_wrt_term fixed in many ways	commit \| commitdiff \| tree
2009-10-01	Enrico Tassi	fixed the type of tactic_term, attributes were useless	commit \| commitdiff \| tree
2009-10-01	Enrico Tassi	instantiate merges tags	commit \| commitdiff \| tree
next

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

RSS Atom