← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to doc/common/title.tex

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-03 23:42:48 UTC
  • mfrom: (1.2.4)
  • Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
Tags: 8.3pl3-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/common/title.tex
45
45
%END LATEX
46
46
\copyright INRIA 1999-2004 ({\Coq} versions 7.x)
47
47
 
48
 
\copyright INRIA 2004-2010 ({\Coq} versions 8.x)
 
48
\copyright INRIA 2004-2011 ({\Coq} versions 8.x)
49
49
 
50
50
#3
51
51
\end{flushleft}
70
70
% TeX-master: ""
71
71
% End: 
72
72
 
73
 
% $Id: title.tex 13524 2010-10-11 12:07:17Z herbelin $ 
 
73
% $Id: title.tex 14641 2011-11-06 11:59:10Z herbelin $