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

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

2004-12-09	Stefano Zacchiroli	(first) complete implementation of (mutual) (co)inductive...	commit \| commitdiff \| tree
2004-12-09	Stefano Zacchiroli	addded inductive definition to AST	commit \| commitdiff \| tree
2004-12-09	Stefano Zacchiroli	- enriched Parse_error exception with error location	commit \| commitdiff \| tree
2004-12-03	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-12-03	Stefano Zacchiroli	moogle syntax help page, actually contains only syntax...	commit \| commitdiff \| tree
2004-12-03	Stefano Zacchiroli	changed "locate" so that it supports shell-like pattern...	commit \| commitdiff \| tree
2004-12-03	Stefano Zacchiroli	ported to universes	commit \| commitdiff \| tree
2004-12-02	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	- ported tests to newer PP / substitutions	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	- passes subst to FreshNameGenerator	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	removed old debugging prints	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	passes ~subst to FreshNameGenerator	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	passes subst to FreshNameGenerator	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	- pass subst to FreshNameGenerator on mk_fresh_name...	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	bugfix: FreshNameGenerator uses the type checker on...	commit \| commitdiff \| tree
2004-11-29	Stefano Zacchiroli	bugfix in type_of_aux' which erroneously discard given...	commit \| commitdiff \| tree
2004-11-26	Stefano Zacchiroli	ported to Mysql	commit \| commitdiff \| tree
2004-11-26	Stefano Zacchiroli	ported to new xpointer syntax	commit \| commitdiff \| tree
2004-11-25	Stefano Zacchiroli	protected invocations to get_cooked_obj with assertion...	commit \| commitdiff \| tree
2004-11-25	Stefano Zacchiroli	protected invocations of get_cooked_obj with assertion...	commit \| commitdiff \| tree
2004-11-24	Stefano Zacchiroli	guard get_cooked_obj calls with assert false in case...	commit \| commitdiff \| tree
2004-11-24	Stefano Zacchiroli	use get_obj instead of get_cooked_obj in order to retrieve...	commit \| commitdiff \| tree
2004-11-22	Stefano Zacchiroli	added parse test for	commit \| commitdiff \| tree
2004-11-18	Stefano Zacchiroli	set environment trust to false to avoid dummy proof...	commit \| commitdiff \| tree
2004-11-18	Stefano Zacchiroli	use stateful logger so that the ProofChecker daemon...	commit \| commitdiff \| tree
2004-11-18	Stefano Zacchiroli	added a stateful logger which remember indentation...	commit \| commitdiff \| tree
2004-11-18	Stefano Zacchiroli	added set_trust to externally set the trust function...	commit \| commitdiff \| tree
2004-11-18	Stefano Zacchiroli	ported to Mysql native connection	commit \| commitdiff \| tree
2004-11-15	Stefano Zacchiroli	changed reduction tactics ast	commit \| commitdiff \| tree
2004-11-15	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-11-12	Stefano Zacchiroli	Fixed an hidden occur check problem: when a Meta is...	commit \| commitdiff \| tree
2004-11-11	Stefano Zacchiroli	added dummy entry in CicAst: UserInput	commit \| commitdiff \| tree
2004-11-11	Stefano Zacchiroli	snapshot:	commit \| commitdiff \| tree
2004-11-10	Stefano Zacchiroli	bumped changelog line to match upload date	commit \| commitdiff \| tree
2004-11-10	Stefano Zacchiroli	disabled debugging info	commit \| commitdiff \| tree
2004-11-10	Stefano Zacchiroli	parse Baseuri command	commit \| commitdiff \| tree
2004-11-10	Stefano Zacchiroli	added Baseuri command	commit \| commitdiff \| tree
2004-11-10	Stefano Zacchiroli	commented out some timing messages	commit \| commitdiff \| tree
2004-11-09	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree
2004-11-09	Stefano Zacchiroli	- split compound fields	commit \| commitdiff \| tree
2004-11-09	Stefano Zacchiroli	added filling of no_concl_hyp	commit \| commitdiff \| tree
2004-11-09	Stefano Zacchiroli	added query to fill no_concl_hyp table	commit \| commitdiff \| tree
2004-11-09	Stefano Zacchiroli	formatted	commit \| commitdiff \| tree
2004-11-05	Stefano Zacchiroli	filled toolbar and implemented buttons behaviours	commit \| commitdiff \| tree
2004-11-05	Stefano Zacchiroli	ported to new cut and letin "API"	commit \| commitdiff \| tree
2004-11-05	Stefano Zacchiroli	- added Tactics module as a common point where tactics...	commit \| commitdiff \| tree
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
next

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

RSS Atom