]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_notation/doc
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / ocaml / cic_notation / doc /
2005-11-21 Stefano Zacchirolisplit to easy inclusion tree | commitdiff
2005-11-21 Stefano Zacchirolitypo tree | commitdiff
2005-10-26 Stefano Zacchiroliimproved Makefile tree | commitdiff
2005-10-10 Stefano Zacchiroliadded level2 <-> level3 transformations tree | commitdiff
2005-10-06 Stefano Zacchiroliignore usual *tex crap tree | commitdiff
2005-10-06 Stefano Zacchiroliadded Makefile tree | commitdiff
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1 tree | commitdiff
2005-10-03 Luca Padovaniincomplete snapshot .... tree | commitdiff
2005-10-02 Luca Padovani* well-formedness constraints tree | commitdiff
2005-10-02 Luca Padovani* added well-formedness rules for level 2 patterns tree | commitdiff
2005-10-01 Luca Padovani* added pattern matching of level 2 terms tree | commitdiff
2005-09-29 Luca Padovani* required for the blob icon tree | commitdiff
2005-09-29 Luca Padovani* added concrete syntax for level 2 tree | commitdiff
2005-09-29 Luca Padovani* snapshot tree | commitdiff
2005-09-29 Luca Padovani* required for texing it tree | commitdiff
2005-09-29 Luca Padovani+ well-formedness of level 1 patterns tree | commitdiff
2005-09-28 Luca Padovani* first version of the specification tree | commitdiff
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code tree | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck! tree | commitdiff
2005-07-14 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-07-14 Luca Padovani* added group box (?) tree | commitdiff
2005-07-13 Stefano Zacchiroliadded XmlAttrs attribute for specification of xml attri... tree | commitdiff
2005-07-13 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-12 Luca Padovanisnapshot tree | commitdiff
2005-07-08 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-08 Stefano Zacchirolisnapshot tree | commitdiff
2005-06-08 Stefano Zacchirolisnapshot (minor changes) tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.