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

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

2007-07-25	Enrico Tassi	; and not . after auto-paramodulation	commit \| commitdiff \| tree
2007-07-25	Enrico Tassi	reverted previous fix	commit \| commitdiff \| tree
2007-07-25	Enrico Tassi	restored compaction of metas at the end of given_clause	commit \| commitdiff \| tree
2007-07-24	Enrico Tassi	added test about dependent coercions	commit \| commitdiff \| tree
2007-07-23	Enrico Tassi	fixed makefiles to make it compile cleanly again	commit \| commitdiff \| tree
2007-07-19	Enrico Tassi	COERCIONS: tentative addition of an equivalence relation...	commit \| commitdiff \| tree
2007-07-19	Enrico Tassi	the cade was escaping the table name and not the uri	commit \| commitdiff \| tree
2007-07-19	Enrico Tassi	fixed escaping for sqlite	commit \| commitdiff \| tree
2007-07-19	Enrico Tassi	fixed an escaping error, added more infos to the generic...	commit \| commitdiff \| tree
2007-07-18	Enrico Tassi	recursive argument in let rec is not printed explicitly.	commit \| commitdiff \| tree
2007-07-18	Enrico Tassi	fixed coercion graph print, moved coercion graph and...	commit \| commitdiff \| tree
2007-07-17	Enrico Tassi	fixed includes and added notation for bytes	commit \| commitdiff \| tree
2007-07-10	Enrico Tassi	La programmazione funzionale e' come TeX, funziona...	commit \| commitdiff \| tree
2007-07-10	Enrico Tassi	fixed a bug in the cleanup ofsedir that was not properly...	commit \| commitdiff \| tree
2007-07-10	Enrico Tassi	...	commit \| commitdiff \| tree
2007-07-09	Enrico Tassi	1. bug fixed in tick	commit \| commitdiff \| tree
2007-07-09	Enrico Tassi	signal hadler restored after runnig external 'make'	commit \| commitdiff \| tree
2007-07-09	Enrico Tassi	added few more fun to this test	commit \| commitdiff \| tree
2007-07-09	Enrico Tassi	auto->autobatch	commit \| commitdiff \| tree
2007-07-07	Enrico Tassi	inclusion of div_and_mod	commit \| commitdiff \| tree
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	commit \| commitdiff \| tree
2007-06-23	Enrico Tassi	removed ugly printings	commit \| commitdiff \| tree
2007-06-21	Enrico Tassi	better description	commit \| commitdiff \| tree
2007-06-21	Enrico Tassi	better description	commit \| commitdiff \| tree
2007-06-21	Enrico Tassi	here we are, a version that compiles and seems to run	commit \| commitdiff \| tree
2007-06-13	Enrico Tassi	cut is now implemented building a letin and not a beta...	commit \| commitdiff \| tree
2007-06-13	Enrico Tassi	many changes:	commit \| commitdiff \| tree
2007-06-06	Enrico Tassi	sort_new_elems on prop_only	commit \| commitdiff \| tree
2007-06-06	Enrico Tassi	fixed to allow make-dist	commit \| commitdiff \| tree
2007-06-06	Enrico Tassi	added doc for compose	commit \| commitdiff \| tree
2007-06-06	Enrico Tassi	compose now returns a good metasenv	commit \| commitdiff \| tree
2007-06-04	Enrico Tassi	tentative fix	commit \| commitdiff \| tree
2007-06-04	Enrico Tassi	auto proof are printed in procedural style	commit \| commitdiff \| tree
2007-06-04	Enrico Tassi	new more flexible compose, see matita/tests/compose...	commit \| commitdiff \| tree
2007-06-02	Enrico Tassi	wrong assertion was inserted, now just a warning to...	commit \| commitdiff \| tree
2007-06-01	Enrico Tassi	removed some refinement_toolkit	commit \| commitdiff \| tree
2007-06-01	Enrico Tassi	new compose tactic, still undocumented.	commit \| commitdiff \| tree
2007-06-01	Enrico Tassi	hacks for paramodulation declarative proofs	commit \| commitdiff \| tree
2007-05-30	Enrico Tassi	now the window can be closed also using X	commit \| commitdiff \| tree
2007-05-29	Enrico Tassi	hSqlite3.ml used create_fun_2 to define REGEXP.	commit \| commitdiff \| tree
2007-05-29	Enrico Tassi	added some lines to compile for debugging	commit \| commitdiff \| tree
2007-05-29	Enrico Tassi	added pruning option in autogui	commit \| commitdiff \| tree
2007-05-25	Enrico Tassi	added $Revision$	commit \| commitdiff \| tree
2007-05-25	Enrico Tassi	auto --> autobatch	commit \| commitdiff \| tree
2007-05-25	Enrico Tassi	auto --> autobatch	commit \| commitdiff \| tree
2007-05-24	Enrico Tassi	auto and autogui... some work	commit \| commitdiff \| tree
2007-05-24	Enrico Tassi	auto and autogui... some work	commit \| commitdiff \| tree
2007-05-24	Enrico Tassi	fixed a when that was causing backtrace loss	commit \| commitdiff \| tree
2007-05-24	Enrico Tassi	added some flags to render subproofs (an hack)	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	deps fixed	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	makefile reworked to make debian package possible	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	made matita.runtime_base_dir overridable setting MATITA_RUNT...	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	MATITA_* env variable preserved when publishing a development	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	changed the way environment variable can interfere...	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	added is_writabledir to extlib	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	added some hacks for the debian package	commit \| commitdiff \| tree
2007-05-23	Enrico Tassi	debian package for matita	commit \| commitdiff \| tree
2007-05-17	Enrico Tassi	added a (for the moment) dummy field _subst to ProofengineTy...	commit \| commitdiff \| tree
2007-05-17	Enrico Tassi	auto rewritten with only one tail recursive function.	commit \| commitdiff \| tree
2007-05-17	Enrico Tassi	OPT tests restored	commit \| commitdiff \| tree
2007-05-07	Enrico Tassi	...	commit \| commitdiff \| tree
2007-05-07	Enrico Tassi	a bit of sharing and the optimization of not folding...	commit \| commitdiff \| tree
2007-05-07	Enrico Tassi	some minor fixes done in cividale (bugfix coming from...	commit \| commitdiff \| tree
2007-04-20	Enrico Tassi	developments root are now part of default inclusion...	commit \| commitdiff \| tree
2007-04-20	Enrico Tassi	added library_auto/ to tests.	commit \| commitdiff \| tree
2007-04-20	Enrico Tassi	fixed paths and prefixes of included files	commit \| commitdiff \| tree
2007-04-18	Enrico Tassi	more discriminate	commit \| commitdiff \| tree
2007-04-18	Enrico Tassi	handles failures (sometimes you can't inject)	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	one more step toward a decent destruct	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	RT_BASEDIR changed to a sensible path	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	broken list fix	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	fixed a list.nth called on a too short list	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	...	commit \| commitdiff \| tree
2007-04-17	Enrico Tassi	added generation of hne and heq problems	commit \| commitdiff \| tree
2007-04-16	Enrico Tassi	better simplify	commit \| commitdiff \| tree
2007-04-16	Enrico Tassi	simplify has a brand new semantics!	commit \| commitdiff \| tree
2007-04-16	Enrico Tassi	closed all axioms	commit \| commitdiff \| tree
2007-04-12	Enrico Tassi	HACK for indtype checking	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	fixed case	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	set -> type	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	match x in IDENT and not TERM	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	still not completely working but at least non dumb...	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	you can case even if only a right appears... so, substitutin...	commit \| commitdiff \| tree
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree
2007-04-06	Enrico Tassi	eval_from_stream is now tail recursive!	commit \| commitdiff \| tree
2007-04-05	Enrico Tassi	pattern with match fixed	commit \| commitdiff \| tree
2007-04-05	Enrico Tassi	many printings added	commit \| commitdiff \| tree
2007-04-05	Enrico Tassi	fixed the pretty (notation aware) printer	commit \| commitdiff \| tree
2007-04-03	Enrico Tassi	new case implementation	commit \| commitdiff \| tree
2007-04-02	Enrico Tassi	added some tests for cases	commit \| commitdiff \| tree
2007-04-02	Enrico Tassi	hopefully fixed cases implementation	commit \| commitdiff \| tree
2007-03-26	Enrico Tassi	added eta expansion to avoid universe inconsistency.	commit \| commitdiff \| tree
2007-02-19	Enrico Tassi	added some code to print the praamodulation proofs...	commit \| commitdiff \| tree
2007-02-01	Enrico Tassi	restored coercions between eq and eq	commit \| commitdiff \| tree
2007-02-01	Enrico Tassi	reverted a commented substitution in build_newgoal...	commit \| commitdiff \| tree
2007-01-06	Enrico Tassi	- inside dicrimination_tree is now checked the invariant...	commit \| commitdiff \| tree
2007-01-06	Enrico Tassi	;auto fixed	commit \| commitdiff \| tree
next

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

RSS Atom