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

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

2006-10-02	Enrico Tassi	auto always uses the context (even if paramodulation...	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	returns the right list of goals	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	50 steps on goal are fine for irrat2	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	removed only made with the DB	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	removed a pointless call to auto	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	...	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	added tests for paramod	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	...	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	added missing *)	commit \| commitdiff \| tree
2006-10-02	Enrico Tassi	restored old (r6662) behaviour	commit \| commitdiff \| tree
2006-10-01	Enrico Tassi	when use_only_paramod is true do not calculate the...	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	2: is_identity -> is_weak_identity	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	fixed metaconvertibility that was completely wrong.	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	removed bad guard that was always false (assert false...	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	fixed (dasabled paramod)	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	renamed inference in founif that is more appropriate	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	is_identity -> is_weak_identity	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	hack to make the Pp work (sometimes)	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	new version of auto that is able to prove the irrationality...	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	added tests for auto	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	restored the good factorization file	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	ported to the new reflexivity implementation	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	maittaprover uses another format	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	...	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	removed a useless printing	commit \| commitdiff \| tree
2006-09-29	Enrico Tassi	added metas local context maction: ?n[...]	commit \| commitdiff \| tree
2006-09-28	Enrico Tassi	solved issues regarding SQL incredible error proness	commit \| commitdiff \| tree
2006-09-27	Enrico Tassi	auto snapshot	commit \| commitdiff \| tree
2006-09-27	Enrico Tassi	...	commit \| commitdiff \| tree
2006-09-27	Enrico Tassi	fixed bug regarding developments. paths given with...	commit \| commitdiff \| tree
2006-09-26	Enrico Tassi	added SRC parameter to makefile (the one placed in...	commit \| commitdiff \| tree
2006-09-23	Enrico Tassi	last fix.	commit \| commitdiff \| tree
2006-09-23	Enrico Tassi	using lua5.1 instead of lua50	commit \| commitdiff \| tree
2006-09-23	Enrico Tassi	override USER with bench	commit \| commitdiff \| tree
2006-09-23	Enrico Tassi	added $(USER) so that the night bench can override...	commit \| commitdiff \| tree
2006-09-23	Enrico Tassi	fixed script to make csc happy	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	auto snapshot	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	snapshot of queries for auto+paramod	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	added notation	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	...	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	apply now uses both menv and subst to decide the fresh...	commit \| commitdiff \| tree
2006-09-21	Enrico Tassi	"21" -> "Implicit found"	commit \| commitdiff \| tree
2006-09-13	Enrico Tassi	removed contribs from nigtly bench	commit \| commitdiff \| tree
2006-09-13	Enrico Tassi	some fixes to the "test notturni"	commit \| commitdiff \| tree
2006-09-06	Enrico Tassi	Bugs fixed:	commit \| commitdiff \| tree
2006-09-06	Enrico Tassi	matitadep used to raise Not_found on empty files and...	commit \| commitdiff \| tree
2006-09-05	Enrico Tassi	fixed coercions. composite can't occur if to funclass	commit \| commitdiff \| tree
2006-09-05	Enrico Tassi	fixed includes	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	no-indent	commit \| commitdiff \| tree
2006-09-04	Enrico Tassi	removed non XML comment line	commit \| commitdiff \| tree
2006-08-21	Enrico Tassi	...	commit \| commitdiff \| tree
2006-08-21	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-26	Enrico Tassi	order is important	commit \| commitdiff \| tree
2006-07-25	Enrico Tassi	added definition of f_equal1. I think this file should...	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	added timeout parameter to auto paramodulation.	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	commit \| commitdiff \| tree
2006-07-24	Enrico Tassi	more and more tests	commit \| commitdiff \| tree
2006-07-23	Enrico Tassi	more static libs for matitaprover	commit \| commitdiff \| tree
2006-07-23	Enrico Tassi	see BOO025-1 as an example of failure if (mot p) is...	commit \| commitdiff \| tree
2006-07-22	Enrico Tassi	added	commit \| commitdiff \| tree
2006-07-22	Enrico Tassi	matitaprover	commit \| commitdiff \| tree
2006-07-21	Enrico Tassi	eta_fix default to false	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	trans chains even inside letins body	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	removed abstractios for dummy metavariables when generating...	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	reorganization	commit \| commitdiff \| tree
2006-07-20	Enrico Tassi	added -dot to generate dot files	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	evvai!	commit \| commitdiff \| tree
2006-07-17	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-11	Enrico Tassi	- removed Positive and Negative (all is positive)	commit \| commitdiff \| tree
2006-07-11	Enrico Tassi	fixed	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	- cheanges for the new coercion stuff (including the...	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	renamed the coercion	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	improved coercions support:	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	fixed 1,2: and *: according to the camera ready semantics	commit \| commitdiff \| tree
2006-07-10	Enrico Tassi	added flatten_map	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	eq_f1	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	megatheorem (even if unused)	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	fixed *: and n,m:	commit \| commitdiff \| tree
2006-07-06	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-05	Enrico Tassi	bugfix to developments:	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	/....	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	...	commit \| commitdiff \| tree
2006-07-03	Enrico Tassi	- patch to consider the symbols of the goal when computing...	commit \| commitdiff \| tree
2006-06-30	Enrico Tassi	pretty proofs are back	commit \| commitdiff \| tree
2006-06-30	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	...	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	before goals are inferred with current,	commit \| commitdiff \| tree
2006-06-29	Enrico Tassi	goals after a superposition step are relocated	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	karma: every term the rewrite acts on must be substututed	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fixed gzip usage	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	superposition_left not performed if the input goal...	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	csc trick on steroids	commit \| commitdiff \| tree
2006-06-28	Enrico Tassi	new mega spreadsheet available	commit \| commitdiff \| tree
next

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

RSS Atom