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

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

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
2005-06-17	Enrico Tassi	concrete syntax for goal patterns	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	added support for patterns current goal	commit \| commitdiff \| tree \| snapshot
2005-06-17	Enrico Tassi	changed select so that it returns a list of pairs ...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Alberto Griggio	profiling experiments...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Claudio Sacerdoti...	more strings to UriManager.uri	commit \| commitdiff \| tree \| snapshot
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	commit \| commitdiff \| tree \| snapshot
2005-06-17	Stefano Zacchiroli	removed spurious entry gtkrc	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Locally implemented print_context replaced by CicPp...	commit \| commitdiff \| tree \| snapshot
2005-06-16	Andrea Asperti	A cleaned version of auto_tac_new.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Stefano Zacchiroli	added depth and width (optional) parameters to auto_tac_new	commit \| commitdiff \| tree \| snapshot
2005-06-16	Stefano Zacchiroli	uses auto_tac_new instead of auto_tac	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code clean-up.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code for packing/unpacking (usually just a big...	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	Dead code clean-up.	commit \| commitdiff \| tree \| snapshot
2005-06-16	Enrico Tassi	added decrease and increase font size fantafeature	commit \| commitdiff \| tree \| snapshot
2005-06-16	Enrico Tassi	added utility to dump some tables of the db on mowgli	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	matita.conf.xml added	commit \| commitdiff \| tree \| snapshot
2005-06-16	Claudio Sacerdoti...	removed again (I added it by error :-(	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	* parsing errors in tests were not detected and the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	DTD for attributes revised.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Syntax of <attributes>...</attributes> improved to...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	DTD for attributes revised.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	The `Record class now records also the name of the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	a parser error is now logged as an error!	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Bug fixed: parsing errors were ignored by matitac since...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Bug fixed (that used to throw away a metasenv :-(	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	renamed clientHTTP to http_getter_wget	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	we no longer use pxp	commit \| commitdiff \| tree \| snapshot
2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	enable static linking of C stub code	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	version 0.7.1-1	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	- better printing of modifiers	commit \| commitdiff \| tree \| snapshot
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	sync with new typecheck prototype (no more univ graph)	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	apply_tac used to calculate the type of the term before...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Enrico Tassi	are_convertible on MutCase was no longer checking the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	ported to latest registry interface	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	- support for multiple bindings of the same key, access...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Refinement of CurrentProof did not check whether the...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	comments syntax changed	commit \| commitdiff \| tree \| snapshot
2005-06-15	Claudio Sacerdoti...	incomplete proof completed.	commit \| commitdiff \| tree \| snapshot
2005-06-15	Stefano Zacchiroli	use META helm-registry package, load sample.xml and...	commit \| commitdiff \| tree \| snapshot
2005-06-15	Alberto Griggio	now something works...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	* no more %% comments	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	No more %% comments.	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	parentheses allowed inside comments	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	test_lexer and test_parser compiled by default	commit \| commitdiff \| tree \| snapshot
2005-06-14	Stefano Zacchiroli	uses XmlPushParser instead of PXP	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom