diff options
| -rwxr-xr-x | doc/title.tex | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/title.tex b/doc/title.tex index ea461cd77b..2620e29096 100755 --- a/doc/title.tex +++ b/doc/title.tex @@ -33,10 +33,7 @@ The Coq Proof Assistant\\ \vspace{20pt} \isdraft {\Large \bf Version \coqversion} -\footnote[1]{This research was partly supported by ESPRIT Basic Research -Action ``Types''} -% Obsolete CP {and by the GDR ``Programmation'' co-financed by MRE-PRC -% and CNRS.} +\footnote[1]{This research was partly supported by IST working group ``Types''} \\ \vspace{120pt} {\bf #2}\\ |