]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/main.c
ocaml 3.09 transition
[helm.git] / helm / helmpot / main.c
index f99e2fa3b64eaedf4e5b24eff168c5e43f500f3b..c2abc2d7eea98dda5cdc524d08fec4e6b05b1c25 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+ * Copyright (C) 2000-2002, Luca Padovani <luca.padovani@cs.unibo.it>.
  * 
  * This file is part of HelmPot, a minimal browser for HELM.
  * 
@@ -18,7 +18,7 @@
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  * 
  * For details, see the HelmPot World-Wide-Web page,
- * http://cs.unibo.it/helm/helmview, or send a mail to
+ * http://cs.unibo.it/helm/helmpot, or send a mail to
  * <luca.padovani@cs.unibo.it>
  */