From b75bf02626b639bad8fe28796b7ee9163fd54323 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 30 Dec 2014 14:06:39 +0000
Subject: fixed indentation (lexing of 'with') + made local coq-load-path.

---
 coq/TODO | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'coq/TODO')

diff --git a/coq/TODO b/coq/TODO
index 09140d77..ba8b310e 100644
--- a/coq/TODO
+++ b/coq/TODO
@@ -49,3 +49,6 @@ Proof with
   intro.
 
 
+** dealing with several project files.
+
+
-- 
cgit v1.2.3