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

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

2005-06-29	no author	This commit was manufactured by cvs2svn to create tag INDEXING_NO_PROOFS	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
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	New implementation of experimental_hint/auto (called...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Bug fixed: select => select distinct (since the ors...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	shanpshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	nigth-bench snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	matita.conf.xml.sample now has a @@OWNER@@ so that...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	added a getter maps updater	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	cicPxpParser.ml, cicParser2.ml and cicParser3.ml...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Enrico Tassi	first snapshot of the night-profiling	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Small improvement in extracting suffixes.	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	New functions UriManager.uri_is_var, UriManager.uri_is_con.	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	Asts generalized: a lot of tactics where restricted...	commit \| commitdiff \| tree \| snapshot
2005-06-24	Claudio Sacerdoti...	debugging printf removed	commit \| commitdiff \| tree \| snapshot
2005-06-23	Alberto Griggio	added various profiling statistics...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Enrico Tassi	aded prifiler factory	commit \| commitdiff \| tree \| snapshot
2005-06-23	Andrea Asperti	Added Z, Zplus and its properties.	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	Tactic discriminate activated in matita.	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	The discriminate tactic accepts a term, not only an...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	1. Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-23	Claudio Sacerdoti...	1 .Tactic generalize ported to patterns and activated...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	reverted to previous version, as it worked better...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom