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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/cicAstPp.ml

2005-06-29	Claudio Sacerdoti...	1. new syntax for patterns:	blob \| commitdiff \| raw
2005-01-11	Stefano Zacchiroli	added syntax for URIs	blob \| commitdiff \| raw \| diff to current
2004-11-11	Stefano Zacchiroli	added dummy entry in CicAst: UserInput	blob \| commitdiff \| raw \| diff to current
2004-09-28	Luca Padovani	* the transformations have been ported so to generate...	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	Branch of MutCase must be parsed and printed using...	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	Syntax of explicit named substitions syncronized with...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Stefano Zacchiroli	differentieted empty substitution list from no substitu...	blob \| commitdiff \| raw \| diff to current
2004-02-16	Stefano Zacchiroli	- added arrow notation	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	added \to notation for anonymous binders Pi and Lambda	blob \| commitdiff \| raw \| diff to current
2004-02-04	Stefano Zacchiroli	moved here CicAst and pretty printer	blob \| commitdiff \| raw \| diff to current

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