]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations
Reindentation
[helm.git] / helm / ocaml / cic_transformations /
2003-09-23 Claudio Sacerdoti... BU_Conversion + omit-conclusion is a mess. I have parti...
2003-09-13 Stefano Zacchiroliadded notation for reals 0, 1, n
2003-09-05 Stefano Zacchiroliadded notation for Ropp and Rinv
2003-09-05 Claudio Sacerdoti... Notation for Rdiv and Rminus.
2003-09-05 Claudio Sacerdoti... Debugging infos removed.
2003-09-05 Claudio Sacerdoti... Defs in context may now have an optional type (when...
2003-09-04 Stefano Zacchirolifixed typo in eqT's URI
2003-07-31 Claudio Sacerdoti... Closed induction cases are now pointers to the acontext...
2003-07-31 Claudio Sacerdoti... "proof of X" closed mactions were not selectable
2003-07-31 Claudio Sacerdoti... 1. folded maction are now selectable
2003-07-30 Claudio Sacerdoti... Unuseful id removed from hypothesis.
2003-07-29 Andrea AspertiAdded method FalseInd
2003-07-29 Claudio Sacerdoti... "(" moved from Mtext to Mo. Spaces removed.
2003-07-29 Andrea AspertiAdded method AndInd.
2003-07-28 Andrea AspertiAdded Method "exists".
2003-07-28 Claudio Sacerdoti... Missing xref for conjectures.
2003-07-28 Claudio Sacerdoti... mathvariant=normal for all the proof ;-)
2003-07-25 Claudio Sacerdoti... URIs of inductive types and constructors fixed.
2003-07-24 Andrea AspertiExact handled in a better way (no more "NO PROOFS").
2003-07-24 Andrea AspertiImproved management of conclusions, to avoid repetitions.
2003-07-23 Andrea Asperti- better handling of proof expansion/contraction
2003-07-22 Claudio Sacerdoti... - selection attribute of maction is now explicitly...
2003-07-22 Andrea Asperti1. Modificiations due to the change ot K.Aux
2003-07-21 Andrea AspertiRendering of current proofs completed.
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-18 Andrea AspertiCSC: tentative definition of the ocaml structure that...
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???)