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

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

2005-07-01	Claudio Sacerdoti...	conflicting baseuri	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	matitaclean is necessary!	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	* makefile improved	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	new targets:	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	New argument: the cleaner.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	make all is now nicer	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Two targets now:	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	make MATITAC="../scripts/do_tests.sh ../matitac /dev...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Makefile improved	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	The library of matita is borned! Long life to the libra...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	ma -> moo in dependencies	commit \| commitdiff \| tree \| snapshot
2005-07-01	Stefano Zacchiroli	more logging information on received request	commit \| commitdiff \| tree \| snapshot
2005-07-01	Stefano Zacchiroli	uses relative OCAMLPATH	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	now maketests uses matitaclean (but not in the right...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	first snapshot of separate compilation	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	on is now a keyword (needed in let rec)	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	added uri_is_ind	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	matitaclean.opt, matitadep.opt	commit \| commitdiff \| tree \| snapshot
2005-07-01	Alberto Griggio	removed first Cic.term from type equality, added an...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	TacticAst2Box no longer used.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Module TacticAst2Box unused!	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	count_pattern implemented	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	More cases implemented in tactic_count.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	An interesting test for replace.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	replace tactic reimplemented.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	pattern_of function reimplemented. Now it takes a term...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	prerr_endline -> debug_print	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Signature of fwdSimpl changed to get rid of a warning.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	The replace tactic is now working again. It can now...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Signature of fwdSimpl changed to get rid of a warning.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	uri_of_string now checks the uri is well formed	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	matitaclean	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	New syntax for patterns.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	1. change_tac moved from PrimitiveTactics to ReductionT...	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	New test.	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	\vdash added	commit \| commitdiff \| tree \| snapshot
2005-07-01	Claudio Sacerdoti...	Syntax of patterns changed again to make it non-ambiguous:	commit \| commitdiff \| tree \| snapshot
2005-07-01	Enrico Tassi	in case of performace improvement there is no performac...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Enrico Tassi	matitaclean anapshot	commit \| commitdiff \| tree \| snapshot
2005-06-30	Alberto Griggio	proofs are now built lazily at the end of the computation	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Signature and concrete syntax of fold fixed.	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	The pattern of a fold cannot have the "wanted" part...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Signature and concrete syntax of fold fixed.	commit \| commitdiff \| tree \| snapshot
2005-06-30	Ferruccio Guidi	lapply and fwd improved	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Text fixed (due to stricter semantics for naming the...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	The rewrite_* set of tactics is now working again....	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Bug fixed: a wrong lift made select unuseful when wante...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Pretty printing of Cic.Implict (Some `Hole) is now "%"	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	1. rewrite_* and rewrite_back_* merged into one function	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	1. rewrite_* and rewrite_back_* merged into one function	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Oooops. I forgot the convertibility test that makes...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	baseuri put back	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	The tactic change is now working again. Moreover, it...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	A bit of renaming in the code to make it more clear.	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	A simpler implementation of inversion that does not...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Enrico Tassi	buri_of_uri is now #xpointer aware.	commit \| commitdiff \| tree \| snapshot
2005-06-30	Stefano Zacchiroli	added license stuff	commit \| commitdiff \| tree \| snapshot
2005-06-30	Stefano Zacchiroli	better handling of script names	commit \| commitdiff \| tree \| snapshot
2005-06-30	Stefano Zacchiroli	added a debugging helper	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Obsolete comment removed.	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	Stupid bug fixed (a completely erroneous assert false...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Claudio Sacerdoti...	This commit makes ProofEngineHelpers.select reach its...	commit \| commitdiff \| tree \| snapshot
2005-06-30	Enrico Tassi	first matitadep snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	1. new syntax for patterns:	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	1. new syntax for patterns:	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	removed profiling function (now a stub is used instead)	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	Incredible bug of simpl fixed: the stack (in the termin...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Alberto Griggio	various updates, removed proofs for now because they...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Ferruccio Guidi	lapply reimplemented using letin_tac	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	A few bug fixes. In particular parsing errors in matita...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinitio...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	fixed some errers in the save/cancel ...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	catches more errors	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	does_not_occur unexported since it did not have the...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	fixed save/exit stuff	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-29	Enrico Tassi	the error_report window is now properly closed	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	Removed a dummy "let ... in" that was there only to...	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	Stupid bug fixed in the refinement of let ... in	commit \| commitdiff \| tree \| snapshot
2005-06-29	Claudio Sacerdoti...	Informative message corrected: MatitacLib.go () is...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-28	Enrico Tassi	better message	commit \| commitdiff \| tree \| snapshot
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	matitatop.ml is now a simple invocation of Toploop...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	New solution: instead of using matitatop.bootstrap...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	In case of EOI the "go ()" loop must exit!	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	matitatop	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	More complete bootstrapper.	commit \| commitdiff \| tree \| snapshot
2005-06-28	Enrico Tassi	* new binary matitatop	commit \| commitdiff \| tree \| snapshot
2005-06-28	Enrico Tassi	added Drop	commit \| commitdiff \| tree \| snapshot
2005-06-28	Enrico Tassi	misc -> domMisc	commit \| commitdiff \| tree \| snapshot
2005-06-28	Stefano Zacchiroli	fixed bug in response first line parsing (arbitrary...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom