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

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

2005-05-27	Stefano Zacchiroli	added %.annot rule to create type annotation files	commit \| commitdiff \| tree
2005-05-27	Stefano Zacchiroli	refactored modules structure	commit \| commitdiff \| tree
2005-05-27	Stefano Zacchiroli	* fold left/right implemented	commit \| commitdiff \| tree
2005-05-27	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-26	Stefano Zacchiroli	fixed issue with explicit named substitutions	commit \| commitdiff \| tree
2005-05-26	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-25	Stefano Zacchiroli	multiple bindings inside OPT supported	commit \| commitdiff \| tree
2005-05-25	Stefano Zacchiroli	bugfix: "match" now works also when no type is provided...	commit \| commitdiff \| tree
2005-05-25	Stefano Zacchiroli	let rec example	commit \| commitdiff \| tree
2005-05-25	Stefano Zacchiroli	snapshot (first version in which some extensions work...	commit \| commitdiff \| tree
2005-05-25	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-24	Stefano Zacchiroli	clean typo	commit \| commitdiff \| tree
2005-05-23	Stefano Zacchiroli	added rule to generate camlp4 expansion of cicNotationParser...	commit \| commitdiff \| tree
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-22	Stefano Zacchiroli	switched to cdbs for debian/rules (now 2 lines long...	commit \| commitdiff \| tree
2005-05-19	Stefano Zacchiroli	commented out some debugging messages	commit \| commitdiff \| tree
2005-05-19	Stefano Zacchiroli	connected instance to the web search engine	commit \| commitdiff \| tree
2005-05-19	Stefano Zacchiroli	changed debugging code which saves xml input document...	commit \| commitdiff \| tree
2005-05-19	Stefano Zacchiroli	- die on CTRL-C or init.d/... stop instead of resurrecting	commit \| commitdiff \| tree
2005-05-19	Stefano Zacchiroli	unified grammars and lexers in a single one	commit \| commitdiff \| tree
2005-05-18	Stefano Zacchiroli	snapshot (implemented level 3 grammar)	commit \| commitdiff \| tree
2005-05-18	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	first check-in of cic_notation	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	bugfix: avoid duplicate entries while indexing (changed...	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	- cathes more Mysql errors which could happen during...	commit \| commitdiff \| tree
2005-05-17	Stefano Zacchiroli	bugfix in elim, cardinality constraint should >= 1...	commit \| commitdiff \| tree
2005-05-16	Stefano Zacchiroli	- no longer needs PXP	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	added support for hits table	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	added list and fill actions	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	sync script among databases	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	support hits table	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	sql for filling hits table	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	added hits table	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	added "all" table meaning "act on all tables"	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	fixed	commit \| commitdiff \| tree
2005-05-13	Stefano Zacchiroli	- ported to new ocaml-http API	commit \| commitdiff \| tree
2005-05-12	Stefano Zacchiroli	fixed Makefile	commit \| commitdiff \| tree
2005-05-12	Stefano Zacchiroli	fixed a TODO comment (MUTCASE _is_ implemented)	commit \| commitdiff \| tree
2005-05-12	Stefano Zacchiroli	handling of variables with body	commit \| commitdiff \| tree
2005-05-11	Stefano Zacchiroli	handle XmlPushParser.Parse_error exception	commit \| commitdiff \| tree
2005-05-11	Stefano Zacchiroli	added Parse_error exception and pretty printing of...	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	more detailed info about peon's problems	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	ignores test and test.opt	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	- changes defaults of getxml (format gzipped, don't...	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	moved up xml, now needed by CicParser	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	make use of gzipped type and body	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	moved xmlPushParser in ocaml/xml/ since it does not...	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	made optional dependency on thread library and compile...	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	added dep on expat	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	ocaml/ todo list	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	moved here xmlPushParser.ml and corresponding test	commit \| commitdiff \| tree
2005-05-10	Stefano Zacchiroli	added 'tags' target (which index both matita/ and ocaml...	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	- ported to new CicParser interface which requires...	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	added "tags" target to generate vim tags with otags	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	added test and test.opt targets	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	- implemented CicPushParser which parser CIC objects...	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	- added .cvsignore	commit \| commitdiff \| tree
2005-05-05	Stefano Zacchiroli	added .depend	commit \| commitdiff \| tree
2005-04-29	Stefano Zacchiroli	fix (ask Enrico :-)	commit \| commitdiff \| tree
2005-04-29	Stefano Zacchiroli	uses CicUniv new assertions	commit \| commitdiff \| tree
2005-04-29	Stefano Zacchiroli	added assertions about graph in the environment having...	commit \| commitdiff \| tree
2005-04-29	Stefano Zacchiroli	added rating parameter to at_least (used by elim)	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	renamed hbugs hint costructors to match latest API	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	bugfix: patched .ml.in instaned of .ml :-(	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	removed all matita files	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	ported to svn-cvs merge	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	make also in utilities on whatever target	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	cvsignore	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	removed ancient cic_textual_parser (last live version...	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	added re-hash-consing of URIs embedded in universes	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	getter with in memory tree of URIs	commit \| commitdiff \| tree
2005-04-27	Stefano Zacchiroli	better checks on elim input, two conditions are now...	commit \| commitdiff \| tree
2005-04-26	Stefano Zacchiroli	clean also hypno_tbl	commit \| commitdiff \| tree
2005-04-26	Stefano Zacchiroli	added test.opt target	commit \| commitdiff \| tree
2005-04-26	Stefano Zacchiroli	- ported to current metadata API	commit \| commitdiff \| tree
2005-04-24	Stefano Zacchiroli	added sample entry for environment_dump configuration...	commit \| commitdiff \| tree
2005-04-24	Stefano Zacchiroli	added CicEnvironment preloading	commit \| commitdiff \| tree
2005-04-23	Stefano Zacchiroli	added licence header	commit \| commitdiff \| tree
2005-04-23	Stefano Zacchiroli	added license statement	commit \| commitdiff \| tree
2005-04-23	Stefano Zacchiroli	added license header	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	made context and metasenv parameters of trivial disambiguato...	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	added Trivial module with a disambiguate_term implementation...	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	removed debugging print	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	uses new at_least with criteria on constants number...	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	added filtering criteria on differences between number...	commit \| commitdiff \| tree
2005-04-22	Stefano Zacchiroli	- added no_hyp table	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	split precedence level of binders: \lambda has higher...	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	removed ancient indirections for gTopLevel	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	no longer build neither mathql nor hbugs per default	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	bumped copyright years	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	utilities for creating environment dumps	commit \| commitdiff \| tree
2005-04-21	Stefano Zacchiroli	(hopefully) final decision on precedence levels:	commit \| commitdiff \| tree
2005-04-20	Stefano Zacchiroli	bugfixes:	commit \| commitdiff \| tree
next

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

RSS Atom