]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations/.depend
snapshot
[helm.git] / helm / ocaml / cic_transformations / .depend
2004-09-28 Luca Padovani* the transformations have been ported so to generate...
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast
2004-04-23 Enrico TassiUniverses introduction
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_...
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,...
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged)
2004-02-13 Andrea Aspertinew (box based) pretty printer
2004-02-04 Stefano Zacchirolimoved here CicAst and pretty printer
2004-01-22 Andrea AspertiAdded all transformations for sequents.
2003-07-20 Claudio Sacerdoti... cic2content.ml* moved from cic_transformations to cic_o...
2003-07-20 Claudio Sacerdoti... cic_transformations factorized into cic_omdoc and cic_t...
2003-07-20 Claudio Sacerdoti... Cic2content split into Content and Cic2content.
2003-07-16 Claudio Sacerdoti... Xml.token is now namespace-aware. As a consequence...
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???)