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

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

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

2005-10-05	Stefano Zacchiroli	rebuilt	blob \| commitdiff \| raw
2005-07-25	Stefano Zacchiroli	implemented transformations on top of notation code	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	Module TacticAst2Box unused!	blob \| commitdiff \| raw \| diff to current
2005-06-29	Claudio Sacerdoti...	1. new syntax for patterns:	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	misc -> domMisc	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	rebuilt	blob \| commitdiff \| raw \| diff to current
2005-01-25	Enrico Tassi	- removed applyStylesheets	blob \| commitdiff \| raw \| diff to current
2005-01-11	Stefano Zacchiroli	- added pack/unpack over AST of terms	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-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-04-23	Enrico Tassi	Universes introduction	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-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.

RSS Atom