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

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

2004-02-04	Claudio Sacerdoti...	ppcontext (and thus also ppmetasenv) were buggy: the...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Functors must be applied using parentheses around the...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Added newline.	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Bug fixed: restriction of already restricted contexts...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Effects of fixing bugs for other regression tests ;-)	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	We no longer apply the subst to a Meta in force_does_no...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Andrea Asperti	delift no longer apply the substitution when a Meta...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Andrea Asperti	Added a new example.	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	report files are now produced (and removed) during...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Patch to delift withdrawn.	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Typo fixed. Used to break target gentest.	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Bug fixed: when a variable not instantiated yet was...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	Improved regression testing reporting.	commit \| commitdiff \| tree \| snapshot
2004-02-04	Claudio Sacerdoti...	- regtest: better argument handling (using Arg)	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	removed a debugging message	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	- improved some error messages	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	moved here CicAst and pretty printer	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	ported to CicAst	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	- sorted domain which hopefully avoids exponential...	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	moved Ast in cic_transformations/	commit \| commitdiff \| tree \| snapshot
2004-02-04	Stefano Zacchiroli	- added support for implicit in concrete syntax	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	regression tests	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	cic_mkimplicit' removed (its implementation was wrong...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	sort_of_prod changed to not generate a new metavariable...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	- comment inside .test file that explain what follows	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	added cleantest target (removes tests/*.test)	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	Check missed: the two metasenv were not compared.	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	Debuggin infos removed.	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	- do not crash any longer if type-checking or reduction...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	time added to regtest	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	catch just AssertFailure instead of _ (AssertFailure...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	removed SortExpectedMetaFound special exception	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	added urimanager dependency	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	Meta vs same Meta now tries unification when convertibi...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	s/LocatedTerm/AnnotatedTerm + various annotations/	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	New tests for lambdas (that show bugs in applications ;-)	commit \| commitdiff \| tree \| snapshot
2004-02-03	Stefano Zacchiroli	catch exceptions and mark corresponding tests as failed	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	eat_prods reimplemented to generalize the output type...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	Added an optional parameter to identity_relocation_list...	commit \| commitdiff \| tree \| snapshot
2004-02-03	Claudio Sacerdoti...	More debug informations.	commit \| commitdiff \| tree \| snapshot
2004-02-02	Claudio Sacerdoti...	Substitution no longer returned from CicRefine.type_of_aux	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	ported to new type_of prototype	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	uses CicMetaSubst.ppterm where needed	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- refine's type_of no longer return a substitution	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	ported to latest Ast changes (mainly capture_variable...	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- added entries for capture variables parsing	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- added capture_variable entry and Cic.names here and...	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- changed ast for pattern matching so that type annotat...	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- big hack: keep on unifying/refining when SortExpected...	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- removed metasenv argument from kernel proxies invocations	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- added SortExpectedMetaFound exception (huge hack)	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- bugfix for expand_implicits, return correct term...	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	- removed unwind: every substitution is now _not_ unwinded	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	changed prototype of CicMetaSubst.apply_subst*	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	added comments	commit \| commitdiff \| tree \| snapshot
2004-02-02	Stefano Zacchiroli	fact regtest	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	reordered	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	added string_of_html_msg	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	- typo bugfix: INT token no longer exists	commit \| commitdiff \| tree \| snapshot
2004-01-30	Claudio Sacerdoti...	Refinement of Fix and CoFix now implemented.	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	- removed ancient refine exception	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	added regression tests	commit \| commitdiff \| tree \| snapshot
2004-01-30	Stefano Zacchiroli	s/Callbacks/DisambiguateCallbacks/	commit \| commitdiff \| tree \| snapshot
2004-01-29	Claudio Sacerdoti...	- lift added to CicMetaSubst	commit \| commitdiff \| tree \| snapshot
2004-01-29	Stefano Zacchiroli	- s/TexTermEditor/TermEditor/ (* former no longer appro...	commit \| commitdiff \| tree \| snapshot
2004-01-29	Stefano Zacchiroli	- added "clear alias" menu item	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	- occur check test anticipated to the delift phase	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	use CicUtil.lookup_meta	commit \| commitdiff \| tree \| snapshot
2004-01-27	Ferruccio Guidi	bad link patched	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	s/List.find.../CicUtil.lookup_meta/	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	added CicUtil module with just lookup_meta function	commit \| commitdiff \| tree \| snapshot
2004-01-27	Ferruccio Guidi	empty goal patched	commit \| commitdiff \| tree \| snapshot
2004-01-27	Ferruccio Guidi	opt goal fixed	commit \| commitdiff \| tree \| snapshot
2004-01-27	Andrea Asperti	test for empty string given, if so return Environment...	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	helm registry's META	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	helm registry --- first release	commit \| commitdiff \| tree \| snapshot
2004-01-27	Stefano Zacchiroli	sample aliases language	commit \| commitdiff \| tree \| snapshot
2004-01-26	Andrea Asperti	Notation for Case revisited and completed.	commit \| commitdiff \| tree \| snapshot
2004-01-26	Claudio Sacerdoti...	Generated ml files added.	commit \| commitdiff \| tree \| snapshot
2004-01-26	Stefano Zacchiroli	raise proper exception when a regexp fails on term_of_uri	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	don't remove METAs on clean, but on distclean	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	- s/id_to_uris/environment/	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	reference moved EnvironmentP3 for new parser	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	- factorized DisambiguateChoices module	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	optionalizide some class parameters	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	.in version of "configuration" modules	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	debug_print	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	new configure.ac with support for compile time configur...	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	split a term0 rule for dinamycally change top-level...	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	collapsed parens in a singol token	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	added tex notation	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	tex notation for compatibility with texTermEditor	commit \| commitdiff \| tree \| snapshot
2004-01-24	Stefano Zacchiroli	- quiet debugging for mathql	commit \| commitdiff \| tree \| snapshot
2004-01-23	Claudio Sacerdoti...	Eureka!	commit \| commitdiff \| tree \| snapshot
2004-01-23	Stefano Zacchiroli	ported to new module names	commit \| commitdiff \| tree \| snapshot
2004-01-23	Stefano Zacchiroli	handle Cic.Anonymous	commit \| commitdiff \| tree \| snapshot
2004-01-23	Stefano Zacchiroli	renamed modules so that they are more consistent with...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom