]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/AUTHORS
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / AUTHORS
index 2ba63d6cc72aea9a2119297c4a5af8891c119ef0..7cec8397e6249fd63020fb3cde9bb88f72736a38 100644 (file)
@@ -1 +1,2 @@
 Luca Padovani <lpadovan@cs.unibo.it>
+Paolo Marinelli <pmarinel@cs.unibo.it>