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

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

2004-11-04	Andrea Asperti	Porting to the new version of auto.	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	snapshot (notably: ported to mysql instead of dbi)	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	added Auto parsing	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	added Auto and Hint tactic	commit \| commitdiff \| tree \| snapshot
2004-11-02	Luca Padovani	* substitution are not rendered by default, an action...	commit \| commitdiff \| tree \| snapshot
2004-11-02	Stefano Zacchiroli	renamed Http_client to Http_user_agent to avoid clashes...	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	ignore typecheck_uri{,.opt}	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	added test script for typechecking URIs given on STDIN	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	- equality test on terms before trying convertibility...	commit \| commitdiff \| tree \| snapshot
2004-10-27	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2004-10-27	Andrea Asperti	Bug fixing.	commit \| commitdiff \| tree \| snapshot
2004-10-26	Stefano Zacchiroli	bugfix: implemented interactive_user_uri_choice (trivia...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	ported to latest ocaml-http	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	implemented pagination	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- bugfix use disambiguator metasenv for initial proof...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	added CSS information for (forthcoming) bottom bar	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	sort hint's result accordingly to the "least goal left...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	bugfix in cmatch constants_no now consider also the...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- added var selection boolean to locate	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	added vars selection boolean on locate	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	implemented elim query	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	added Hint "tactic"	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	bugfix: handle overflow in powerset cardinality	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	no longer builds by default tex_ and cic_textual_parser	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- reimplemented tacticChaser and friends in term of...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- support also DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	no longer build oldDisambiguate	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	uses DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- disambiguation now needs DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	auto needs DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	temporary: for the moment we need both MQI handle and...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	ported to Dbi-disambiguation	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	ignore boolean returned by saveDocument	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- added (hack) apply_tac_verbose (for auto)	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- changed metadata type so that positions contains...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	removed reference to MQueryMisc	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- removed MQueryMisc. Ratio: it was used only for trans...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- no longer depends on MQueryMisc for term_of_uri	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	no longer depends on MQueryMisc	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- ported to new getter API	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	ported to typed explicit subst	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	removed dependency on cic_textual_parser where this...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	describe exception raised by term_of_uri	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	removed old function term_of_uri (now in CicUtil)	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	be more quiet (removed debugging prints)	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	ported to typed explicit subst	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	rebuilt	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- ported to typed explicit subst	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- ported to typed explicit subst	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- ported to typed explicit substitutions	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- ported to typed explicit substitutions	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	cleanup temp files on parser failure	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- reimplemented meta_closed in non CPS way (faster!)	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	added type to explicit substitutions	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- use CicUtil.term_of_uri instead of deprecated HelmLib...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- bugfix: sequences like ".(" are now lexed, correctly, as	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	use helm-cic_textual_parser2 findlib package when build...	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	added dep on helm-metadata	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	bugfix: use only baseuri in uri part of MutInd and...	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	use latest Http_getter module API	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	- API change (renamed some exceptions)	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	added reference to MetadataQuery (now it builds properly)	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	implemented in place old Filter_auto filtering	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	fixed a buggy pattern matching	commit \| commitdiff \| tree \| snapshot
2004-10-21	Stefano Zacchiroli	- split metadata type in metadata and constraints....	commit \| commitdiff \| tree \| snapshot
2004-10-20	Andrea Asperti	- removed cic_cache and cic_annotations_cache	commit \| commitdiff \| tree \| snapshot
2004-10-20	Stefano Zacchiroli	added term_of_uri	commit \| commitdiff \| tree \| snapshot
2004-10-20	Stefano Zacchiroli	snapshot, still work in progress	commit \| commitdiff \| tree \| snapshot
2004-10-20	Stefano Zacchiroli	top level query module	commit \| commitdiff \| tree \| snapshot
2004-10-18	Stefano Zacchiroli	broken	commit \| commitdiff \| tree \| snapshot
2004-10-18	Stefano Zacchiroli	removed cicCache (cicEnvironment should be used instead)	commit \| commitdiff \| tree \| snapshot
2004-10-18	Stefano Zacchiroli	implemented here at_least constraints matching engine	commit \| commitdiff \| tree \| snapshot
2004-10-15	Stefano Zacchiroli	added helm-metadata module	commit \| commitdiff \| tree \| snapshot
2004-10-15	Stefano Zacchiroli	removed some old debugging messages	commit \| commitdiff \| tree \| snapshot
2004-10-15	Stefano Zacchiroli	moved string_of_uriref to UriManager	commit \| commitdiff \| tree \| snapshot
2004-10-15	Stefano Zacchiroli	moved string_of_uriref from MQueryMisc to UriManager	commit \| commitdiff \| tree \| snapshot
2004-10-14	Claudio Sacerdoti...	Luca (bugged) debugging stuff removed.	commit \| commitdiff \| tree \| snapshot
2004-10-14	Stefano Zacchiroli	fixed make dep command	commit \| commitdiff \| tree \| snapshot
2004-10-14	Claudio Sacerdoti...	no_inconcl_aux managed	commit \| commitdiff \| tree \| snapshot
2004-10-14	Claudio Sacerdoti...	* create_mowgli_tables.mysql.sql added	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	added alias for cic_textual_parser2	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	snapshot, notably history no longer remember annotation...	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	transformations no longer use Content_expression, but...	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	pretty printed Absurd's term	commit \| commitdiff \| tree \| snapshot
2004-10-13	Stefano Zacchiroli	added term argument to absurd	commit \| commitdiff \| tree \| snapshot
2004-10-13	Andrea Asperti	get_and_save now handles big files properly (i.e. doesn...	commit \| commitdiff \| tree \| snapshot
2004-10-12	Stefano Zacchiroli	ported to ocaml-http 0.0.10 (renamed Http_client -...	commit \| commitdiff \| tree \| snapshot
2004-10-12	Stefano Zacchiroli	setting goal doesn't change history status	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	added new Utf8Macro module	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	Added -syntax support (if needed, use OCAMLC_P4 instead...	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	added utf8_macros	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	moved utf8 macro handling to the new module Utf8Macros	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-10-11	Stefano Zacchiroli	new module: expansion from tex like macros to utf8...	commit \| commitdiff \| tree \| snapshot
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	added dependency on helm-xmldiff	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom