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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / ocaml / cic_transformations / Makefile

2005-01-11	Stefano Zacchiroli	- added pack/unpack over AST of terms	blob \| commitdiff \| raw
2004-10-13	Stefano Zacchiroli	transformations no longer use Content_expression, but...	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-04-30	Stefano Zacchiroli	embedded commands ast into tacticals ast	blob \| commitdiff \| raw \| diff to current
2004-02-26	Stefano Zacchiroli	added command and script ASTs with _debugging_only_...	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	added tactics and tacticals (heavily bugged)	blob \| commitdiff \| raw \| diff to current
2004-02-13	Andrea Asperti	new (box based) pretty printer	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	ported to helm registry	blob \| commitdiff \| raw \| diff to current
2004-02-04	Stefano Zacchiroli	moved here CicAst and pretty printer	blob \| commitdiff \| raw \| diff to current
2004-01-22	Andrea Asperti	Added all transformations for sequents.	blob \| commitdiff \| raw \| diff to current
2003-07-20	Claudio Sacerdoti...	cic2content.ml* moved from cic_transformations to cic_o...	blob \| commitdiff \| raw \| diff to current
2003-07-20	Claudio Sacerdoti...	cic_transformations factorized into cic_omdoc and cic_t...	blob \| commitdiff \| raw \| diff to current
2003-07-20	Claudio Sacerdoti...	Cic2content split into Content and Cic2content.	blob \| commitdiff \| raw \| diff to current
2003-07-16	Claudio Sacerdoti...	Xml.token is now namespace-aware. As a consequence...	blob \| commitdiff \| raw \| diff to current
2003-07-16	Andrea Asperti	Several changes (the beginning of a new era???)	blob \| commitdiff \| raw \| diff to current

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