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

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

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
2005-06-28	Enrico Tassi	added "are you sure you want to quit with usaved script?"	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	New argument for LApply: the ident for the generated...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Claudio Sacerdoti...	New argument for LApply: the ident for the generated...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Stefano Zacchiroli	changed get_pair interface, now supports different...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Stefano Zacchiroli	added get_pair method	commit \| commitdiff \| tree \| snapshot
2005-06-28	Stefano Zacchiroli	moved discovery of METAS dir to configure.ac: script...	commit \| commitdiff \| tree \| snapshot
2005-06-28	Stefano Zacchiroli	bugfix: uses awk instead of cut for splitting query...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	New tactics.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	replace generalized to patterns	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	1. interface of replace generalized to patterns	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	A few other tactics made available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	A few other tactics made available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	clear already exists	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	New argument (the identifier) to generalize.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	New argument (the identifier) to generalize.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	New argument (the hypothesis name) for cut.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	New syntax of auto: auto [depth = n] [width = m].	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	fized disambiguation of LApply	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	* the auto AST now has the width	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	support for _ in binders, and a more coplex pattern...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	More tactics or tactic arguments made available to...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	* auto_tac removed (it can be found in CVS)	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	* More tactics are now available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	More tactics are now available to matita.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	more complex	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	1) moved select and pattern_of from cicUtil to proofEng...	commit \| commitdiff \| tree \| snapshot
2005-06-27	Claudio Sacerdoti...	Nicer output for the "make tests*" commands.	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	more detailed but less verbose and annoying report	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	fixed LApply pretty printing	commit \| commitdiff \| tree \| snapshot
2005-06-27	Enrico Tassi	minor fixes	commit \| commitdiff \| tree \| snapshot
2005-06-26	Enrico Tassi	the web interface for the benchmarking system	commit \| commitdiff \| tree \| snapshot
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	commit \| commitdiff \| tree \| snapshot
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	commit \| commitdiff \| tree \| snapshot
2005-06-24	Ferruccio Guidi	lapply tactic continued	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	new implementation (due to paths).	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	stupid rename	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	now we use rplace_lifting_csc since the what must NOT...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fixed select (not Implicit (Some `TYPE) is handled)	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom