diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2007-03-08 18:13:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2007-03-08 18:13:16 +0000 |
| commit | e741626acf19a25fa9a2c5ed4b731dfcb71d7fa4 (patch) | |
| tree | 72d67e678bfe1ae7714364265463ac15c709049d /coq | |
| parent | 0bba01b9b2fbddb472c8d84d6cc1d7cd3fb24b23 (diff) | |
*** empty log message ***
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/BUGS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -20,3 +20,5 @@ rely too much on the etags mechanism. ** Surely others that aren't mentioned here... Please report them to da+pg-bugs@inf.ed.ac.uk + +** C-c C-a C-i on long intro lines breaks line the wrong way.
\ No newline at end of file |