diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
commit | b75bf02626b639bad8fe28796b7ee9163fd54323 (patch) | |
tree | c56e1abd9fe17c143d32f95d63f10701c707ed3f /coq/TODO | |
parent | a9660f46b64132dec0d0efc8ff4419ec8899558b (diff) |
fixed indentation (lexing of 'with') + made local coq-load-path.
Diffstat (limited to 'coq/TODO')
-rw-r--r-- | coq/TODO | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -49,3 +49,6 @@ Proof with intro. +** dealing with several project files. + + |