]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathViewAux.mli
Branch V7_3_new_exportation merged.
[helm.git] / helm / DEVEL / lablgtkmathview / gMathViewAux.mli
index e63c41173a41586d8e71dbb7a210596dd33741f9..edcf156357e7f65097bab15d0c85b8aff099c1c4 100644 (file)
@@ -1,4 +1,5 @@
-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ *                          Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
  *
  * This file is part of lablgtkmathview, the Ocaml binding
  * for the GtkMathView widget.