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

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

2004-02-16	Stefano Zacchiroli	added ocamlinit target which creates a .ocamlinit file	commit \| commitdiff \| tree
2004-02-16	Stefano Zacchiroli	solved a precedence issue between binders and arrows	commit \| commitdiff \| tree
2004-02-16	Stefano Zacchiroli	do not use tex notation per default (used only by tex...	commit \| commitdiff \| tree
2004-02-16	Stefano Zacchiroli	use BoxPp	commit \| commitdiff \| tree
2004-02-16	Stefano Zacchiroli	- added arrow notation	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	inductive type ident optional in mutcase	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	added regtest for optional inductive type on mutcase	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	s/pcre/str/	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	split configure.ac in two parts: ocaml and gTopLevel	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	added sample configuration file	commit \| commitdiff \| tree
2004-02-13	Stefano Zacchiroli	- added support for variable interpolation	commit \| commitdiff \| tree
2004-02-12	Stefano Zacchiroli	removed some anciente debugging messages	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	getter's revolution (now uses backend in ocaml/getter)	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	bugfix: auto_disambiguation is not considered for searchPatt...	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	new logger	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	new logger, getter, and the hell	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	support for subst	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	new metas (getter's backend, registry, logger, and...	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	ported to new getter (backend)	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	ported to helm registry	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	ported to new logger	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	use debug_print in a debugging message	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	- getter revolution: split backend and frontend (this...	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	- split away gtk logger	commit \| commitdiff \| tree
2004-02-11	Stefano Zacchiroli	added some debugging messages	commit \| commitdiff \| tree
2004-02-10	Stefano Zacchiroli	added "'" as a valid (continuation) identifier character	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	added thread entry	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	added netstring and pxp deps	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	helm-thread's META	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	thread library (actually contains just ThreadSafe module)	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	- added environment variable overriding	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	split into two major parts:	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	bumped version (tag soon)	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	no longer use marshalled table for unicode macros	commit \| commitdiff \| tree
2004-02-09	Stefano Zacchiroli	use CicAstPp	commit \| commitdiff \| tree
2004-02-07	Stefano Zacchiroli	- added options "-vars" and "-varsprefix"	commit \| commitdiff \| tree
2004-02-07	Stefano Zacchiroli	changed deps since testlibrary now uses (minimally...	commit \| commitdiff \| tree
2004-02-07	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	added annotations to Cic.Implicit	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	use ledit for debugging	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	added Format-library-friendly pretty printers defined...	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	added -g flag to ocamlc per default	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	textual term editor is now the default one	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	ignore .debug_script (used by Makefile's debug target)	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	- split regtest/testlibrary/gTopLevel objects so that...	commit \| commitdiff \| tree
2004-02-06	Stefano Zacchiroli	added testlibrary.opt and some cm****	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	- added support for multiple choices	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	better output format	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	flush stdout after print_string	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	debug prints on stderr	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	removed duplicated entry about freshNamesGenerator	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	- added testlibrary .opts	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	added \to notation for anonymous binders Pi and Lambda	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	bugfix: use rev_uniq also on non-located term	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	added html_of_html_msg	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	added freshNameGenerator	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	added testlibrary script	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	use a dummy location when no location is provided	commit \| commitdiff \| tree
2004-02-05	Stefano Zacchiroli	added ( ) notation for binders	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	removed a debugging message	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	- improved some error messages	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	moved here CicAst and pretty printer	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	ported to CicAst	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	- sorted domain which hopefully avoids exponential...	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	moved Ast in cic_transformations/	commit \| commitdiff \| tree
2004-02-04	Stefano Zacchiroli	- added support for implicit in concrete syntax	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	- comment inside .test file that explain what follows	commit \| commitdiff \| tree
2004-02-03	Stefano Zacchiroli	added cleantest target (removes tests/*.test)	commit \| commitdiff \| tree
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
next

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

RSS Atom