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

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

2004-02-03	Stefano Zacchiroli	catch just AssertFailure instead of _ (AssertFailure...	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	removed SortExpectedMetaFound special exception	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	added urimanager dependency	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	s/LocatedTerm/AnnotatedTerm + various annotations/	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	catch exceptions and mark corresponding tests as failed	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	ported to new type_of prototype	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	uses CicMetaSubst.ppterm where needed	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- refine's type_of no longer return a substitution	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	ported to latest Ast changes (mainly capture_variable...	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- added entries for capture variables parsing	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- added capture_variable entry and Cic.names here and...	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- changed ast for pattern matching so that type annotations...	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- big hack: keep on unifying/refining when SortExpectedMetaFound	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- removed metasenv argument from kernel proxies invocations	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- added SortExpectedMetaFound exception (huge hack)	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- bugfix for expand_implicits, return correct term...	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	- removed unwind: every substitution is now _not_ unwinded	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	changed prototype of CicMetaSubst.apply_subst*	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	added comments	commit \| commitdiff \| tree
2004-02-02	Stefano Zacchiroli	fact regtest	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	reordered	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	added string_of_html_msg	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	- typo bugfix: INT token no longer exists	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	- removed ancient refine exception	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	added regression tests	commit \| commitdiff \| tree
2004-01-30	Stefano Zacchiroli	s/Callbacks/DisambiguateCallbacks/	commit \| commitdiff \| tree
2004-01-29	Stefano Zacchiroli	- s/TexTermEditor/TermEditor/ (* former no longer appropriate)	commit \| commitdiff \| tree
2004-01-29	Stefano Zacchiroli	- added "clear alias" menu item	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	- occur check test anticipated to the delift phase	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	use CicUtil.lookup_meta	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	s/List.find.../CicUtil.lookup_meta/	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	added CicUtil module with just lookup_meta function	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	helm registry's META	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	helm registry --- first release	commit \| commitdiff \| tree
2004-01-27	Stefano Zacchiroli	sample aliases language	commit \| commitdiff \| tree
2004-01-26	Stefano Zacchiroli	raise proper exception when a regexp fails on term_of_uri	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	don't remove METAs on clean, but on distclean	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	- s/id_to_uris/environment/	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	reference moved EnvironmentP3 for new parser	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	- factorized DisambiguateChoices module	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	optionalizide some class parameters	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	.in version of "configuration" modules	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	debug_print	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	new configure.ac with support for compile time configuration...	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	split a term0 rule for dinamycally change top-level...	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	collapsed parens in a singol token	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	added tex notation	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	tex notation for compatibility with texTermEditor	commit \| commitdiff \| tree
2004-01-24	Stefano Zacchiroli	- quiet debugging for mathql	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	ported to new module names	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	handle Cic.Anonymous	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	renamed modules so that they are more consistent with...	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	moved environmentP3 in cic_textual_parser2 and reshaped...	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	implemented interface for gTopLevel	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	moved term_of_uri in cic/	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	moved here term_of_uri	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	better comment for kernel wrappers	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	a better error message	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	removed useless -thread switch	commit \| commitdiff \| tree
2004-01-23	Stefano Zacchiroli	ported to latest lablgtk2 snapshot	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added false test	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- added -thread switch	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	build also cic_textual_parser2	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	updated	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added dependency to lablgtk2.glade	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added -thread switch and dependency on lablgtk2.glade	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	moved disambiguate module away	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	(temporary, waiting for abstraction over disambiguators...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added ChosenTransformer	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	abstracted over which transformer gTopLevel uses (ocaml...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	use "assert false" where needed	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added some match examples/regtests	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	located parse error message	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- bugfix: raise an Invalid_choice insteda of a generic...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added to CicMetaSubst subst wrapper for CicReduction...	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- added backup target	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- removed some unneeded dependencies from debian/control	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	prettified	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	use new proofEngineHelpers	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	moved hard coded uris to HelmLibraryObjects	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	ported to cicMetaSubst	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- splitted into cicMetaSubst	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	bugfixes, typos and the hell	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	split into this and cicMetaSubst.mli	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	added CicMetaSubst module for metavariable instantiatiation	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	better exception and error messages	commit \| commitdiff \| tree
2004-01-22	Stefano Zacchiroli	- bugfix: print metas local context in the rigth order	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	snapshot, almost working	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added a CSC's TODO comment	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added MkImplicit module for meta handling	commit \| commitdiff \| tree
2004-01-19	Stefano Zacchiroli	added Peano module and functions to create natural...	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added missing depending on (CSC's) helm-cic_textual_parser	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	removed ui_logger, now in external module logger	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added missing dependencies on mathql-*	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	added logger's META	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	moved to the logger module	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	- added logger module	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	moved here ui_logger from gTopLeve	commit \| commitdiff \| tree
2004-01-14	Stefano Zacchiroli	still a working copy, now towards a cleaner implementation ...	commit \| commitdiff \| tree
2004-01-12	Stefano Zacchiroli	added HelmLibraryObjects module	commit \| commitdiff \| tree
next

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

RSS Atom