[Pkg-ocaml-maint-commits] [SCM] matita packaging annotated tag, upstream/0.99.1, created. upstream/0.99.1

[Enrico Tassi]

The annotated tag, upstream/0.99.1 has been created
        at  b60bff185235a2664be9c120eacc37240d9d2de4 (tag)
   tagging  2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115 (commit)
  replaces  upstream/0.5.8
 tagged by  Enrico Tassi
        on  Sun May 6 18:10:31 2012 +0200

- Shortlog ------------------------------------------------------------
Upstream version 0.99.1

Enrico Tassi (1):
      Imported Upstream version 0.99.1

-----------------------------------------------------------------------

-- 
matita packaging