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

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

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
2004-10-04	Stefano Zacchiroli	moved xmldiff in ocaml/	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- added xmldiff module	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	added Undo/Redo commands	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- fixed "Blue" vs "blue" typo	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- handle Box.Space in textual pretty printing	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- removed mandatory parens for application	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	"in" and "and" are now keywords	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	splitted History module out of StatefulProofEngine	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	- splitted out History module	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	xmldiff's META	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	moved xmldiff module away from gTopLevel	commit \| commitdiff \| tree \| snapshot
2004-10-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-10-01	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-09-29	Stefano Zacchiroli	bumped deps to 0.6.4	commit \| commitdiff \| tree \| snapshot
2004-09-29	Stefano Zacchiroli	bumped version to 0.6.4	commit \| commitdiff \| tree \| snapshot
2004-09-28	Luca Padovani	* minor correction to make the new mathml widget work...	commit \| commitdiff \| tree \| snapshot
2004-09-28	Luca Padovani	* the transformations have been ported so to generate...	commit \| commitdiff \| tree \| snapshot
2004-09-27	Luca Padovani	* removed PREDICATES	commit \| commitdiff \| tree \| snapshot
2004-09-20	Stefano Zacchiroli	added initial_status	commit \| commitdiff \| tree \| snapshot
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	commit \| commitdiff \| tree \| snapshot
2004-09-17	Ferruccio Guidi	meta_closed added	commit \| commitdiff \| tree \| snapshot
2004-09-17	Stefano Zacchiroli	fixed cictheory:/ bug (thanks Lionel for the patch)	commit \| commitdiff \| tree \| snapshot
2004-09-16	Claudio Sacerdoti...	The jsmenu is now under CVS.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom