matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation/disambiguateTypes.mli

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.mli

2005-11-19	Claudio Sacerdoti...	Disambiguation errors are no longer thrown away. They...	blob \| commitdiff \| raw
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	blob \| commitdiff \| raw \| diff to current
2005-09-13	Stefano Zacchiroli	moved dummy_floc from Disambiguate to DisambiguateTypes...	blob \| commitdiff \| raw \| diff to current
2005-09-12	Stefano Zacchiroli	added support for multi-aliases in disambiguation envir...	blob \| commitdiff \| raw \| diff to current
2005-09-08	Stefano Zacchiroli	implemented lazy disambiguation of tactics arguments...	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	merged cic_notation with disambiguation: good luck!	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-01-21	Enrico Tassi	- Changed ApplyTransformation API to return both the...	blob \| commitdiff \| raw \| diff to current
2005-01-18	Stefano Zacchiroli	added script support	blob \| commitdiff \| raw \| diff to current
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	blob \| commitdiff \| raw \| diff to current
2004-05-13	Ferruccio Guidi	- some code patched	blob \| commitdiff \| raw \| diff to current
2004-04-30	Stefano Zacchiroli	- moved command as sub-entries of tactical grammars...	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-04-22	Stefano Zacchiroli	added (and used) some type shorthands	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	ported to new logger	blob \| commitdiff \| raw \| diff to current
2004-02-04	Stefano Zacchiroli	ported to CicAst	blob \| commitdiff \| raw \| diff to current
2004-01-24	Stefano Zacchiroli	- factorized DisambiguateChoices module	blob \| commitdiff \| raw \| diff to current
2004-01-23	Stefano Zacchiroli	renamed modules so that they are more consistent with...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom