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

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

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
2005-06-22	Stefano Zacchiroli	local use of OCAMLPATH so that ./script.sh should not...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Stefano Zacchiroli	restored local usage of OCAMLPATH so that ./script...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Stefano Zacchiroli	added $(NULL)	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	fixed +1 numbering (added when the memory consuming...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	removed memory wasting foldright	commit \| commitdiff \| tree \| snapshot
2005-06-22	Enrico Tassi	string -> uri	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	use of discrimination trees instead of path indexes...	commit \| commitdiff \| tree \| snapshot
2005-06-22	Alberto Griggio	trie structure implementation	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	some optimizations...	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	testing...	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-06-20	Alberto Griggio	discrimination trees	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	limited-resource-strategy implementation (now working!)	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing integration, limited-resource-strategy...	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing integration	commit \| commitdiff \| tree \| snapshot
2005-06-19	Alberto Griggio	path indexing working!	commit \| commitdiff \| tree \| snapshot
2005-06-18	Enrico Tassi	fixed increase/decrease size feature	commit \| commitdiff \| tree \| snapshot
2005-06-17	Stefano Zacchiroli	removed!	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	support for goal patterns	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	uses new pattern concrete syntax	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	added support for goal patterns	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom