]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/LICENSE
* disable-shared doens't bother ocaml
[helm.git] / helm / DEVEL / mathml_editor / LICENSE
index 122827fd6d818566f752aba1a1685fd4e381d763..ee8db273a896e7969ef7dc67abf7b21efaa4f027 100644 (file)
@@ -1,4 +1,5 @@
-// Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>.
+// Copyright (C) 2002-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+//                    2003, Paolo Marinelli <pmarinel@cs.unibo.it>.
 //
 // This file is part of EdiTeX, an editor of mathematical
 // expressions based on TeX syntax