]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gtk_mathview.ml
* some small bug fixes
[helm.git] / helm / DEVEL / lablgtkmathview / gtk_mathview.ml
index 27ca4c45c7cf78e441f9b900f27611f3e5b9e535..5472acbe5bd55b4a0f8df155628083dcaa7cf5b4 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.