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

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

2005-01-11	Stefano Zacchiroli	added syntax for URIs	blob \| commitdiff \| raw
2004-11-11	Stefano Zacchiroli	added dummy entry in CicAst: UserInput	blob \| commitdiff \| raw \| diff to current
2004-11-02	Luca Padovani	* substitution are not rendered by default, an action...	blob \| commitdiff \| raw \| diff to current
2004-10-13	Stefano Zacchiroli	transformations no longer use Content_expression, but...	blob \| commitdiff \| raw \| diff to current
2004-08-05	Stefano Zacchiroli	ported location handling to camlp4 3.08	blob \| commitdiff \| raw \| diff to current
2004-08-05	Stefano Zacchiroli	fixed some invalid backslash escapes	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	\Assign and \subst to match the parser.	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	MutCase branches must be parsed and printed using ...	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-19	Andrea Asperti	Adding tacticAst2Box (pretty printer for tactical,...	blob \| commitdiff \| raw \| diff to current
2004-02-17	Stefano Zacchiroli	removed useless Mpresentation module	blob \| commitdiff \| raw \| diff to current
2004-02-16	Stefano Zacchiroli	- added arrow notation	blob \| commitdiff \| raw \| diff to current
2004-02-13	Andrea Asperti	new (box based) pretty printer	blob \| commitdiff \| raw \| diff to current

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