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

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

2007-05-23	Claudio Sacerdoti...	I am now using tred to remove transitive dependencies...	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	1. generation of log file commented out (it gets too...	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Yet another patch to LibraryClean.	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	HSql.Error ==> HSql.Error of string	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	prerr_endine ==> debug_print everywhere	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Reindented.	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Even more color (for new nodes).	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	deps fixed	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Use different colors to understand what is going on.	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	makefile reworked to make debian package possible	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Unlinked nodes are now printed.	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	made matita.runtime_base_dir overridable setting MATITA...	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	MATITA_* env variable preserved when publishing a devel...	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	changed the way environment variable can interfere...	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	added is_writabledir to extlib	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	added some hacks for the debian package	commit \| commitdiff \| tree \| snapshot
2007-05-23	Enrico Tassi	debian package for matita	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	xxx.dot improved	commit \| commitdiff \| tree \| snapshot
2007-05-23	Claudio Sacerdoti...	Automatic exploration of the theory of intuitionistic...	commit \| commitdiff \| tree \| snapshot
2007-05-22	Claudio Sacerdoti...	Slightly more efficient patch.	commit \| commitdiff \| tree \| snapshot
2007-05-20	Ferruccio Guidi	applyTransformation: added debugging information	commit \| commitdiff \| tree \| snapshot
2007-05-18	Ferruccio Guidi	- new devel contribs/LAMBDA-TYPES/Base-2 with the autom...	commit \| commitdiff \| tree \| snapshot
2007-05-18	lzingare	added alternative implementation for hMysql relying	commit \| commitdiff \| tree \| snapshot
2007-05-18	Claudio Sacerdoti...	In some cases (e.g. JM equality) the inversion principl...	commit \| commitdiff \| tree \| snapshot
2007-05-17	Enrico Tassi	added a (for the moment) dummy field _subst to Proofeng...	commit \| commitdiff \| tree \| snapshot
2007-05-17	Enrico Tassi	auto rewritten with only one tail recursive function.	commit \| commitdiff \| tree \| snapshot
2007-05-17	Enrico Tassi	OPT tests restored	commit \| commitdiff \| tree \| snapshot
2007-05-15	Ferruccio Guidi	more informations on nodes, fixed a bug on conversion...	commit \| commitdiff \| tree \| snapshot
2007-05-15	Ferruccio Guidi	Wrong invariant: Hypothesis (i.e. lambda-abstractions...	commit \| commitdiff \| tree \| snapshot
2007-05-14	Ferruccio Guidi	CSC: terrific bug fixed. Enrico commented the applicati...	commit \| commitdiff \| tree \| snapshot
2007-05-13	Ferruccio Guidi	library-auto removed from tests (too slow even in nativ...	commit \| commitdiff \| tree \| snapshot
2007-05-13	Ferruccio Guidi	CicInspect: a function for counting the nodes of a...	commit \| commitdiff \| tree \| snapshot
2007-05-10	Ferruccio Guidi	Procedural: clear tactics added	commit \| commitdiff \| tree \| snapshot
2007-05-09	Ferruccio Guidi	PrimitiveTactics: intros _ now aveilable	commit \| commitdiff \| tree \| snapshot
2007-05-09	Andrea Asperti	A few extensions for the moebius inversion theorem	commit \| commitdiff \| tree \| snapshot
2007-05-09	Andrea Asperti	Proof of the moebius inversion theorem	commit \| commitdiff \| tree \| snapshot
2007-05-08	Ferruccio Guidi	DoubleTypeInference: added a comment on "does_not_occur"	commit \| commitdiff \| tree \| snapshot
2007-05-07	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-05-07	Enrico Tassi	a bit of sharing and the optimization of not folding...	commit \| commitdiff \| tree \| snapshot
2007-05-07	Enrico Tassi	some minor fixes done in cividale (bugfix coming from...	commit \| commitdiff \| tree \| snapshot
2007-05-03	Ferruccio Guidi	elim with a pattern now works correctly (hopefully)	commit \| commitdiff \| tree \| snapshot
2007-05-03	Ferruccio Guidi	library-auto is only tested in native code (in byte...	commit \| commitdiff \| tree \| snapshot
2007-05-02	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-05-01	Ferruccio Guidi	SubstTactic: bug fix	commit \| commitdiff \| tree \| snapshot
2007-04-30	Andrea Asperti	Even if we are at depth 0, we first check in the cache...	commit \| commitdiff \| tree \| snapshot
2007-04-30	Andrea Asperti	Removed an assert false; everything works again, but...	commit \| commitdiff \| tree \| snapshot
2007-04-29	Ferruccio Guidi	GrafiteAstPp: \n's finally fixed	commit \| commitdiff \| tree \| snapshot
2007-04-28	Ferruccio Guidi	AMBDA-TYPES: some improvements. subst now fully exploited	commit \| commitdiff \| tree \| snapshot
2007-04-27	Ferruccio Guidi	LAMBDA-TYPES: some improvements	commit \| commitdiff \| tree \| snapshot
2007-04-27	Andrea Asperti	Subst is passed in input to apapluy, so no need to...	commit \| commitdiff \| tree \| snapshot
2007-04-27	Andrea Asperti	Apply_with_subst now returns a subst with a correct...	commit \| commitdiff \| tree \| snapshot
2007-04-26	Ferruccio Guidi	procedural: bug fixes	commit \| commitdiff \| tree \| snapshot
2007-04-26	Ferruccio Guidi	bug fix in subst tactic	commit \| commitdiff \| tree \| snapshot
2007-04-24	Claudio Sacerdoti...	goal ==> focus	commit \| commitdiff \| tree \| snapshot
2007-04-24	Andrea Asperti	Subsumption_subst re-added to initial.	commit \| commitdiff \| tree \| snapshot
2007-04-24	Andrea Asperti	@	commit \| commitdiff \| tree \| snapshot
2007-04-23	Claudio Sacerdoti...	Deprecated "goal" removed.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	A new test on some non punctuation tacticals.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	The declarative rewriting step now tries auto timeout...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	added skip, removed end	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Much ado about nothing:	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Bug fixed: off by one array access in the last patch.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	developments root are now part of default inclusion...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	added library_auto/ to tests.	commit \| commitdiff \| tree \| snapshot
2007-04-20	Enrico Tassi	fixed paths and prefixes of included files	commit \| commitdiff \| tree \| snapshot
2007-04-20	Claudio Sacerdoti...	Interface of the argument to Continuationals.Make great...	commit \| commitdiff \| tree \| snapshot
2007-04-20	Cristian Armentano	changed base uri	commit \| commitdiff \| tree \| snapshot
2007-04-20	Cristian Armentano	initial import	commit \| commitdiff \| tree \| snapshot
2007-04-19	Claudio Sacerdoti...	EXPERIMENTAL and _INCOMPLETE_ COMMIT:	commit \| commitdiff \| tree \| snapshot
2007-04-19	Claudio Sacerdoti...	The night test now shows the last commits and blames...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Enrico Tassi	more discriminate	commit \| commitdiff \| tree \| snapshot
2007-04-18	Enrico Tassi	handles failures (sometimes you can't inject)	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	New query result diff.	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	Only benches with the same result are compared for...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	Added new query to time-diff the last mark with the...	commit \| commitdiff \| tree \| snapshot
2007-04-18	Claudio Sacerdoti...	tassi/sacerdot	commit \| commitdiff \| tree \| snapshot
2007-04-17	Ferruccio Guidi	"end" keyword added	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	one more step toward a decent destruct	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	RT_BASEDIR changed to a sensible path	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	broken list fix	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	fixed a list.nth called on a too short list	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-17	Enrico Tassi	added generation of hne and heq problems	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	better simplify	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	simplify has a brand new semantics!	commit \| commitdiff \| tree \| snapshot
2007-04-16	Ferruccio Guidi	subst tactic put in a file on its own	commit \| commitdiff \| tree \| snapshot
2007-04-16	Enrico Tassi	closed all axioms	commit \| commitdiff \| tree \| snapshot
2007-04-12	Enrico Tassi	HACK for indtype checking	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	fixed case	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	set -> type	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	match x in IDENT and not TERM	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	still not completely working but at least non dumb...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	you can case even if only a right appears... so, substi...	commit \| commitdiff \| tree \| snapshot
2007-04-10	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2007-04-06	Enrico Tassi	eval_from_stream is now tail recursive!	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	pattern with match fixed	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	many printings added	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom