matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/oldDisambiguate.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/oldDisambiguate.ml

2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	blob \| commitdiff \| raw
2004-09-08	Stefano Zacchiroli	fixed some illegal backslash escapes	blob \| commitdiff \| raw \| diff to current
2004-05-13	Ferruccio Guidi	- some code patched	blob \| commitdiff \| raw \| diff to current
2004-04-28	Stefano Zacchiroli	added extra "id" parameter for input_or_locate_uri...	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	Refine now raises only RefineFailure, AssertFailure...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	The disambiguation now returns a list of interpretations.	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	blob \| commitdiff \| raw \| diff to current
2004-02-02	Stefano Zacchiroli	ported to new type_of prototype	blob \| commitdiff \| raw \| diff to current
2004-01-30	Claudio Sacerdoti...	Refinement of Fix and CoFix now implemented.	blob \| commitdiff \| raw \| diff to current
2004-01-23	Claudio Sacerdoti...	Eureka!	blob \| commitdiff \| raw \| diff to current
2004-01-23	Claudio Sacerdoti...	- Added DisambiguatingParser (that abstracts both the...	blob \| commitdiff \| raw \| diff to current

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