diff options
Diffstat (limited to 'contrib/interface/COPYRIGHT')
| -rw-r--r-- | contrib/interface/COPYRIGHT | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/interface/COPYRIGHT b/contrib/interface/COPYRIGHT index ff567a5466..23aeb6bb22 100644 --- a/contrib/interface/COPYRIGHT +++ b/contrib/interface/COPYRIGHT @@ -1,9 +1,9 @@ (*****************************************************************************) (* *) -(* Coq support for the Pcoq Graphical Interface of Coq *) +(* Coq support for the Pcoq and tmEgg Graphical Interfaces of Coq *) (* *) (* Copyright (C) 1999-2004 INRIA Sophia-Antipolis (Lemme team) *) -(* Copyright (C) 2006 Lionel Elie Mamane *) +(* Copyright (C) 2006,2007 Lionel Elie Mamane *) (* *) (*****************************************************************************) |