From a581331f26d96d1a037128ae83bebd5e6c27f665 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 21 Mar 2016 00:26:02 +0100
Subject: Creating a dedicated ltac/ folder for Hightactics.

---
 dev/doc/coq-src-description.txt | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'dev/doc')

diff --git a/dev/doc/coq-src-description.txt b/dev/doc/coq-src-description.txt
index fe896d3160..00e7f5c53c 100644
--- a/dev/doc/coq-src-description.txt
+++ b/dev/doc/coq-src-description.txt
@@ -19,13 +19,6 @@ highparsing :
  Files in parsing/ that cannot be linked too early.
  Contains the grammar rules g_*.ml4
 
-hightactics :
-
- Files in tactics/ that cannot be linked too early.
- These are the .ml4 files that uses the EXTEND possibilities
- provided by grammar.cma, for instance eauto.ml4.
-
-
 Special components
 ------------------
 
-- 
cgit v1.2.3