1 files changed, 0 insertions, 24 deletions
diff --git a/doc/Changes.tex b/doc/Changes.tex
deleted file mode 100755
index dec509651..000000000
--- a/doc/Changes.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-\documentclass[11pt]{article}
-\usepackage[latin1]{inputenc}
-\usepackage[T1]{fontenc}
-
-\input{./title}
-\input{./macros}
-
-\begin{document}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Changes 6.3.1 ===> 7.0 & 7.1
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\shorttitle{Changes from {\Coq} V6.3.1 to {\Coq} V7.0 and V7.1}
-
-\end{document}
-
-% Local Variables: 
-% mode: LaTeX
-% TeX-master: t
-% End: 
-
-
-% $Id$ 
-