]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gMathViewAux.ml
* some small bug fixes
[helm.git] / helm / DEVEL / lablgtkmathview / gMathViewAux.ml
index 4d10bf395b63a6376cb0fdd4caa76a57a3a72cfc..ba12fdfdfcc46bc06f796c39919e189834eeda60 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.