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

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

2005-05-25	Ferruccio Guidi	some work for Gares	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	apply now tries both to reduce and to not reduce the...	commit \| commitdiff \| tree \| snapshot
2005-05-25	Enrico Tassi	\lambda x.x y ----> \lambda x.(x y)	commit \| commitdiff \| tree \| snapshot
2005-05-25	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-24	Stefano Zacchiroli	clean typo	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	reverted to ==	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added .theory check	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed missing -syntax when using ocamlopt	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed precedence of \to	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added simpl test script	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added simpl	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	fixed syntax	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	new simpl semantic (now = and not == since you can...	commit \| commitdiff \| tree \| snapshot
2005-05-24	Enrico Tassi	added lost elim_intros_tac	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	Added a new tactic elim_intros (without simpl of the...	commit \| commitdiff \| tree \| snapshot
2005-05-24	Andrea Asperti	elim -> elim_intros (no simpl)	commit \| commitdiff \| tree \| snapshot
2005-05-23	Claudio Sacerdoti...	Added sql/drop_mowgli_tables.mysql.sql	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	added rule to generate camlp4 expansion of cicNotationP...	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-23	Enrico Tassi	fixed clean that wasn't returning the right list of...	commit \| commitdiff \| tree \| snapshot
2005-05-23	Enrico Tassi	added qed	commit \| commitdiff \| tree \| snapshot
2005-05-23	Andrea Asperti	Added andrea.ma	commit \| commitdiff \| tree \| snapshot
2005-05-22	Stefano Zacchiroli	switched to cdbs for debian/rules (now 2 lines long...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	When we unify a Prod against a term t2 which is not...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	Added a whd on ty in new_metasenv for apply, in order...	commit \| commitdiff \| tree \| snapshot
2005-05-20	Andrea Asperti	Hint repaired (an erroneous commit by myself).	commit \| commitdiff \| tree \| snapshot
2005-05-19	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-19	Alberto Griggio	added lpo term-ordering	commit \| commitdiff \| tree \| snapshot
2005-05-19	Alberto Griggio	various optimizations (to paramodulation and passive...	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	commented out some debugging messages	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	connected instance to the web search engine	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	changed debugging code which saves xml input document...	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	- die on CTRL-C or init.d/... stop instead of resurrecting	commit \| commitdiff \| tree \| snapshot
2005-05-19	Stefano Zacchiroli	unified grammars and lexers in a single one	commit \| commitdiff \| tree \| snapshot
2005-05-18	Enrico Tassi	fixed some macros, added test_abort.ma	commit \| commitdiff \| tree \| snapshot
2005-05-18	Stefano Zacchiroli	snapshot (implemented level 3 grammar)	commit \| commitdiff \| tree \| snapshot
2005-05-18	Enrico Tassi	fixed some TODO in content2pres	commit \| commitdiff \| tree \| snapshot
2005-05-18	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	first check-in of cic_notation	commit \| commitdiff \| tree \| snapshot
2005-05-17	Enrico Tassi	fixed whelp bar	commit \| commitdiff \| tree \| snapshot
2005-05-17	Enrico Tassi	fixed Whelp stuff	commit \| commitdiff \| tree \| snapshot
2005-05-17	Enrico Tassi	aded comment	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	bugfix: avoid duplicate entries while indexing (changed...	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	- cathes more Mysql errors which could happen during...	commit \| commitdiff \| tree \| snapshot
2005-05-17	Stefano Zacchiroli	bugfix in elim, cardinality constraint should >= 1...	commit \| commitdiff \| tree \| snapshot
2005-05-16	Stefano Zacchiroli	- no longer needs PXP	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	added images	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	added examples	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	some hacks to make the sequent window pretty nice	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	fixed instance	commit \| commitdiff \| tree \| snapshot
2005-05-16	Enrico Tassi	added comments	commit \| commitdiff \| tree \| snapshot
2005-05-15	Alberto Griggio	added saturation.opt to the ignore list	commit \| commitdiff \| tree \| snapshot
2005-05-15	Alberto Griggio	fixes (mainly) to demodulation and meta_convertibility	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	added support for hits table	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	added list and fill actions	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	sync script among databases	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	support hits table	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	sql for filling hits table	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	added hits table	commit \| commitdiff \| tree \| snapshot
2005-05-13	Enrico Tassi	better table creator	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	added "all" table meaning "act on all tables"	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	fixed	commit \| commitdiff \| tree \| snapshot
2005-05-13	Enrico Tassi	fix bad space	commit \| commitdiff \| tree \| snapshot
2005-05-13	Enrico Tassi	now the extractor manager renames the tables (old table...	commit \| commitdiff \| tree \| snapshot
2005-05-13	Enrico Tassi	some more statements	commit \| commitdiff \| tree \| snapshot
2005-05-13	Enrico Tassi	added index on refRel and the rename table statements	commit \| commitdiff \| tree \| snapshot
2005-05-13	Stefano Zacchiroli	- ported to new ocaml-http API	commit \| commitdiff \| tree \| snapshot
2005-05-13	Alberto Griggio	exported new_metasenv_for_apply, needed by the paramodu...	commit \| commitdiff \| tree \| snapshot
2005-05-13	Alberto Griggio	fixed demodulation bug	commit \| commitdiff \| tree \| snapshot
2005-05-13	Alberto Griggio	moved string_of_equality into utils	commit \| commitdiff \| tree \| snapshot
2005-05-12	Alberto Griggio	first commit of paramodulation-based theorem proving...	commit \| commitdiff \| tree \| snapshot
2005-05-12	Enrico Tassi	fixed memory leak (workaround)	commit \| commitdiff \| tree \| snapshot
2005-05-12	Stefano Zacchiroli	fixed Makefile	commit \| commitdiff \| tree \| snapshot
2005-05-12	Stefano Zacchiroli	fixed a TODO comment (MUTCASE _is_ implemented)	commit \| commitdiff \| tree \| snapshot
2005-05-12	Stefano Zacchiroli	handling of variables with body	commit \| commitdiff \| tree \| snapshot
2005-05-11	Stefano Zacchiroli	handle XmlPushParser.Parse_error exception	commit \| commitdiff \| tree \| snapshot
2005-05-11	Stefano Zacchiroli	added Parse_error exception and pretty printing of...	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	more detailed info about peon's problems	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	ignores test and test.opt	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	- changes defaults of getxml (format gzipped, don't...	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	moved up xml, now needed by CicParser	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	make use of gzipped type and body	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	moved xmlPushParser in ocaml/xml/ since it does not...	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	made optional dependency on thread library and compile...	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	added dep on expat	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	ocaml/ todo list	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	moved here xmlPushParser.ml and corresponding test	commit \| commitdiff \| tree \| snapshot
2005-05-10	Stefano Zacchiroli	added 'tags' target (which index both matita/ and ocaml...	commit \| commitdiff \| tree \| snapshot
2005-05-06	Ferruccio Guidi	The README file was patched	commit \| commitdiff \| tree \| snapshot
2005-05-06	Ferruccio Guidi	Toolbox: preliminary version	commit \| commitdiff \| tree \| snapshot
2005-05-06	Enrico Tassi	added syntax for rewrite (TODO no rewrite-in-Hyp syntax)	commit \| commitdiff \| tree \| snapshot
2005-05-06	Enrico Tassi	factorization of rewrite.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom