From 6cf8d80ac0a9869d97373d6813441eabebce8980 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 23 Feb 2006 13:58:10 +0000
Subject: Nettoyage de l'archive doc et restructuration avant intégration à
 l'archive principale de Coq et publication des sources (HH)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Changes.tex | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 doc/Changes.tex

(limited to 'doc/Changes.tex')

diff --git a/doc/Changes.tex b/doc/Changes.tex
deleted file mode 100755
index dec509651f..0000000000
--- 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$ 
-
-- 
cgit v1.2.3