]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_transformations
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New naming policy for local variables.
[helm.git] / helm / ocaml / cic_transformations /
2004-04-30 Stefano Zacchiroliadded Abort and Check commands tree | commitdiff
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast tree | commitdiff
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel... tree | commitdiff
2004-04-28 Stefano Zacchiroliadded a TODO comment tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-03-05 Claudio Sacerdoti... \Assign and \subst to match the parser. tree | commitdiff
2004-03-05 Claudio Sacerdoti... MutCase branches must be parsed and printed using ... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Branch of MutCase must be parsed and printed using... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Syntax of explicit named substitions syncronized with... tree | commitdiff
2004-03-02 Stefano Zacchirolidifferentieted empty substitution list from no substitu... tree | commitdiff
2004-02-26 Stefano Zacchiroliadded command and script ASTs with _debugging_only_... tree | commitdiff
2004-02-24 Claudio Sacerdoti... More uris ported to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... More V8.0 uris. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a space between term and "using" keyword tree | commitdiff
2004-02-23 Stefano Zacchirolicommented out a debugging message tree | commitdiff
2004-02-23 Stefano ZacchiroliRinv typo fix tree | commitdiff
2004-02-19 Andrea AspertiAdding tacticAst2Box (pretty printer for tactical,... tree | commitdiff
2004-02-18 Stefano Zacchirolifixed cosmetic typos during pretty printing tree | commitdiff
2004-02-18 Claudio Sacerdoti... Bug fixed: Helm_registry was used not enough lazily... tree | commitdiff
2004-02-17 Stefano Zacchiroliadded copyright info tree | commitdiff
2004-02-17 Stefano Zacchiroliremoved useless Mpresentation module tree | commitdiff
2004-02-17 Stefano Zacchirolimoved away tactics and tacticals tree | commitdiff
2004-02-17 Stefano Zacchiroliadded tactics and tacticals (heavily bugged) tree | commitdiff
2004-02-17 Claudio Sacerdoti... Porting of applyStylesheets.ml to Helm_registry. tree | commitdiff
2004-02-16 Stefano Zacchiroli- added arrow notation tree | commitdiff
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase tree | commitdiff
2004-02-13 Andrea Aspertinew (box based) pretty printer tree | commitdiff
2004-02-11 Stefano Zacchiroliported to helm registry tree | commitdiff
2004-02-05 Stefano Zacchiroliadded \to notation for anonymous binders Pi and Lambda tree | commitdiff
2004-02-04 Stefano Zacchirolimoved here CicAst and pretty printer tree | commitdiff
2004-01-26 Andrea AspertiNotation for Case revisited and completed. tree | commitdiff
2004-01-22 Andrea AspertiAdded all transformations for sequents. tree | commitdiff
2003-12-02 Ferruccio Guidisort CProp added tree | commitdiff
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug... tree | commitdiff
2003-09-23 Claudio Sacerdoti... BU_Conversion + omit-conclusion is a mess. I have parti... tree | commitdiff
2003-09-13 Stefano Zacchiroliadded notation for reals 0, 1, n tree | commitdiff
2003-09-05 Stefano Zacchiroliadded notation for Ropp and Rinv tree | commitdiff
2003-09-05 Claudio Sacerdoti... Notation for Rdiv and Rminus. tree | commitdiff
2003-09-05 Claudio Sacerdoti... Debugging infos removed. tree | commitdiff
2003-09-05 Claudio Sacerdoti... Defs in context may now have an optional type (when... tree | commitdiff
2003-09-04 Stefano Zacchirolifixed typo in eqT's URI tree | commitdiff
2003-07-31 Claudio Sacerdoti... Closed induction cases are now pointers to the acontext... tree | commitdiff
2003-07-31 Claudio Sacerdoti... "proof of X" closed mactions were not selectable tree | commitdiff
2003-07-31 Claudio Sacerdoti... 1. folded maction are now selectable tree | commitdiff
2003-07-30 Claudio Sacerdoti... Unuseful id removed from hypothesis. tree | commitdiff
2003-07-29 Andrea AspertiAdded method FalseInd tree | commitdiff
2003-07-29 Claudio Sacerdoti... "(" moved from Mtext to Mo. Spaces removed. tree | commitdiff
2003-07-29 Andrea AspertiAdded method AndInd. tree | commitdiff
2003-07-28 Andrea AspertiAdded Method "exists". tree | commitdiff
2003-07-28 Claudio Sacerdoti... Missing xref for conjectures. tree | commitdiff
2003-07-28 Claudio Sacerdoti... mathvariant=normal for all the proof ;-) tree | commitdiff
2003-07-25 Claudio Sacerdoti... URIs of inductive types and constructors fixed. tree | commitdiff
2003-07-24 Andrea AspertiExact handled in a better way (no more "NO PROOFS"). tree | commitdiff
2003-07-24 Andrea AspertiImproved management of conclusions, to avoid repetitions. tree | commitdiff
2003-07-23 Andrea Asperti- better handling of proof expansion/contraction tree | commitdiff
2003-07-22 Claudio Sacerdoti... - selection attribute of maction is now explicitly... tree | commitdiff
2003-07-22 Andrea Asperti1. Modificiations due to the change ot K.Aux tree | commitdiff
2003-07-21 Andrea AspertiRendering of current proofs completed. tree | commitdiff
2003-07-20 Claudio Sacerdoti... cic2content.ml* moved from cic_transformations to cic_o... tree | commitdiff
2003-07-20 Claudio Sacerdoti... cic_transformations factorized into cic_omdoc and cic_t... tree | commitdiff
2003-07-20 Claudio Sacerdoti... Cic2content split into Content and Cic2content. tree | commitdiff
2003-07-18 Andrea AspertiCSC: tentative definition of the ocaml structure that... tree | commitdiff
2003-07-16 Claudio Sacerdoti... Xml.token is now namespace-aware. As a consequence... tree | commitdiff
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???) tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.