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

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

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
2005-05-05	Stefano Zacchiroli	- ported to new CicParser interface which requires...	commit \| commitdiff \| tree \| snapshot
2005-05-05	Stefano Zacchiroli	added "tags" target to generate vim tags with otags	commit \| commitdiff \| tree \| snapshot
2005-05-05	Stefano Zacchiroli	added test and test.opt targets	commit \| commitdiff \| tree \| snapshot
2005-05-05	Stefano Zacchiroli	- implemented CicPushParser which parser CIC objects...	commit \| commitdiff \| tree \| snapshot
2005-05-05	Stefano Zacchiroli	- added .cvsignore	commit \| commitdiff \| tree \| snapshot
2005-05-05	Andrea Asperti	test_instance.ma	commit \| commitdiff \| tree \| snapshot
2005-05-05	Andrea Asperti	Some modifications due to instance.	commit \| commitdiff \| tree \| snapshot
2005-05-05	Stefano Zacchiroli	added .depend	commit \| commitdiff \| tree \| snapshot
2005-05-04	Enrico Tassi	added extractor_manager	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added new extractor based on MetadataDb.index_obj	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	sync with SqlStatements	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added DROP statements to sqlStatements	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	more friendly sqlStatements api	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added examples	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added table_creator (comman line frontend to SqlStatements)	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added sqlStatements module (contains all CREATE TABLE...	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	added instance	commit \| commitdiff \| tree \| snapshot
2005-05-03	Enrico Tassi	fix for instance	commit \| commitdiff \| tree \| snapshot
2005-05-03	Andrea Asperti	First version of instance.	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	attached auto	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	attached auto	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	added the count table	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	added Match (partially) and sync with the count table	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	added ast for Match	commit \| commitdiff \| tree \| snapshot
2005-05-02	Enrico Tassi	removed no_inconcl_aux, no_concl_hyp, no_hyp and added...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added more assertions on universes when loaded from...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added the orrible hack to the parser that is needed...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	hint -> experimental_hint	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	main constants set is closed with constants types	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	UniverseInconsistency is now wrapper by CicRefine.type_...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	no more moogle... now whelp (config file name and daemo...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added dump/restore environment to the debug menu	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added orrible hack to make the current uri visible...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	catched UniverseInconsistency	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added parsing time benchmark	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	fixed a typo	commit \| commitdiff \| tree \| snapshot
2005-04-29	Enrico Tassi	added parser benchamrk	commit \| commitdiff \| tree \| snapshot
2005-04-29	Stefano Zacchiroli	fix (ask Enrico :-)	commit \| commitdiff \| tree \| snapshot
2005-04-29	Stefano Zacchiroli	uses CicUniv new assertions	commit \| commitdiff \| tree \| snapshot
2005-04-29	Stefano Zacchiroli	added assertions about graph in the environment having...	commit \| commitdiff \| tree \| snapshot
2005-04-29	Stefano Zacchiroli	added rating parameter to at_least (used by elim)	commit \| commitdiff \| tree \| snapshot
2005-04-28	Enrico Tassi	attached macros: hint(partial), check	commit \| commitdiff \| tree \| snapshot
2005-04-28	Enrico Tassi	moved "hint" from Command to Macro	commit \| commitdiff \| tree \| snapshot
2005-04-28	Enrico Tassi	deactivated coercions	commit \| commitdiff \| tree \| snapshot
2005-04-28	Enrico Tassi	single INSERT on multiple tuples	commit \| commitdiff \| tree \| snapshot
2005-04-28	Enrico Tassi	added hbugs and mathql	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	renamed hbugs hint costructors to match latest API	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	bugfix: patched .ml.in instaned of .ml :-(	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed all matita files	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	ported to svn-cvs merge	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	make also in utilities on whatever target	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	cvsignore	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed ancient cic_textual_parser (last live version...	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	added re-hash-consing of URIs embedded in universes	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom