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

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

2004-11-03	Stefano Zacchiroli	snapshot (notably: ported to mysql instead of dbi)	commit \| commitdiff \| tree
2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	commit \| commitdiff \| tree
2004-11-03	Stefano Zacchiroli	added Auto parsing	commit \| commitdiff \| tree
2004-11-03	Stefano Zacchiroli	added Auto and Hint tactic	commit \| commitdiff \| tree
2004-11-02	Stefano Zacchiroli	renamed Http_client to Http_user_agent to avoid clashes...	commit \| commitdiff \| tree
2004-10-29	Stefano Zacchiroli	ignore typecheck_uri{,.opt}	commit \| commitdiff \| tree
2004-10-29	Stefano Zacchiroli	added test script for typechecking URIs given on STDIN	commit \| commitdiff \| tree
2004-10-29	Stefano Zacchiroli	- equality test on terms before trying convertibility...	commit \| commitdiff \| tree
2004-10-27	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree
2004-10-26	Stefano Zacchiroli	bugfix: implemented interactive_user_uri_choice (trivial...	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	ported to latest ocaml-http	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	implemented pagination	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	- bugfix use disambiguator metasenv for initial proof...	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	added CSS information for (forthcoming) bottom bar	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	sort hint's result accordingly to the "least goal left...	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	bugfix in cmatch constants_no now consider also the...	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	- added var selection boolean to locate	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	added vars selection boolean on locate	commit \| commitdiff \| tree
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	added Hint "tactic"	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	no longer builds by default tex_ and cic_textual_parser	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- reimplemented tacticChaser and friends in term of...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- support also DBI handle	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	no longer build oldDisambiguate	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	uses DBI handle	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- disambiguation now needs DBI handle	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	auto needs DBI handle	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	temporary: for the moment we need both MQI handle and...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	ported to Dbi-disambiguation	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	ignore boolean returned by saveDocument	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- changed metadata type so that positions contains...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	removed reference to MQueryMisc	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- removed MQueryMisc. Ratio: it was used only for transforma...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- no longer depends on MQueryMisc for term_of_uri	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	no longer depends on MQueryMisc	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- ported to new getter API	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	removed dependency on cic_textual_parser where this...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	describe exception raised by term_of_uri	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	removed old function term_of_uri (now in CicUtil)	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- use CicUtil.term_of_uri instead of deprecated HelmLibrayOb...	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	- bugfix: sequences like ".(" are now lexed, correctly, as	commit \| commitdiff \| tree
2004-10-22	Stefano Zacchiroli	use helm-cic_textual_parser2 findlib package when building...	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	added dep on helm-metadata	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	bugfix: use only baseuri in uri part of MutInd and...	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	use latest Http_getter module API	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	- API change (renamed some exceptions)	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	added reference to MetadataQuery (now it builds properly)	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	implemented in place old Filter_auto filtering	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	fixed a buggy pattern matching	commit \| commitdiff \| tree
2004-10-21	Stefano Zacchiroli	- split metadata type in metadata and constraints....	commit \| commitdiff \| tree
2004-10-20	Stefano Zacchiroli	added term_of_uri	commit \| commitdiff \| tree
2004-10-20	Stefano Zacchiroli	snapshot, still work in progress	commit \| commitdiff \| tree
2004-10-20	Stefano Zacchiroli	top level query module	commit \| commitdiff \| tree
2004-10-18	Stefano Zacchiroli	broken	commit \| commitdiff \| tree
2004-10-18	Stefano Zacchiroli	removed cicCache (cicEnvironment should be used instead)	commit \| commitdiff \| tree
2004-10-18	Stefano Zacchiroli	implemented here at_least constraints matching engine	commit \| commitdiff \| tree
2004-10-15	Stefano Zacchiroli	added helm-metadata module	commit \| commitdiff \| tree
2004-10-15	Stefano Zacchiroli	removed some old debugging messages	commit \| commitdiff \| tree
2004-10-15	Stefano Zacchiroli	moved string_of_uriref to UriManager	commit \| commitdiff \| tree
2004-10-15	Stefano Zacchiroli	moved string_of_uriref from MQueryMisc to UriManager	commit \| commitdiff \| tree
2004-10-14	Stefano Zacchiroli	fixed make dep command	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	added alias for cic_textual_parser2	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	snapshot, notably history no longer remember annotations...	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	transformations no longer use Content_expression, but...	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	pretty printed Absurd's term	commit \| commitdiff \| tree
2004-10-13	Stefano Zacchiroli	added term argument to absurd	commit \| commitdiff \| tree
2004-10-12	Stefano Zacchiroli	ported to ocaml-http 0.0.10 (renamed Http_client -...	commit \| commitdiff \| tree
2004-10-12	Stefano Zacchiroli	setting goal doesn't change history status	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	added new Utf8Macro module	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	Added -syntax support (if needed, use OCAMLC_P4 instead...	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	added utf8_macros	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	moved utf8 macro handling to the new module Utf8Macros	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree
2004-10-11	Stefano Zacchiroli	new module: expansion from tex like macros to utf8...	commit \| commitdiff \| tree
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	added dependency on helm-xmldiff	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	moved xmldiff in ocaml/	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- added xmldiff module	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	added Undo/Redo commands	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- fixed "Blue" vs "blue" typo	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- handle Box.Space in textual pretty printing	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- removed mandatory parens for application	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	"in" and "and" are now keywords	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	splitted History module out of StatefulProofEngine	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	- splitted out History module	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	xmldiff's META	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	moved xmldiff module away from gTopLevel	commit \| commitdiff \| tree
2004-10-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-09-29	Stefano Zacchiroli	bumped deps to 0.6.4	commit \| commitdiff \| tree
2004-09-29	Stefano Zacchiroli	bumped version to 0.6.4	commit \| commitdiff \| tree
2004-09-20	Stefano Zacchiroli	added initial_status	commit \| commitdiff \| tree
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	commit \| commitdiff \| tree
2004-09-17	Stefano Zacchiroli	fixed cictheory:/ bug (thanks Lionel for the patch)	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	bumped deps on ocamlnet to 0.98	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	ported to ocamlnet 0.98	commit \| commitdiff \| tree
2004-09-09	Stefano Zacchiroli	ported to latest lablgtkmathview	commit \| commitdiff \| tree
next

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

RSS Atom