diff options
Diffstat (limited to 'etc/coq/multiple/README')
| -rw-r--r-- | etc/coq/multiple/README | 24 |
1 files changed, 4 insertions, 20 deletions
diff --git a/etc/coq/multiple/README b/etc/coq/multiple/README index b5eab177..03587134 100644 --- a/etc/coq/multiple/README +++ b/etc/coq/multiple/README @@ -1,21 +1,5 @@ -Quick test for automatic multiple files: - - ------- - -1. - -Process a.v, b.v, c.v in turn. -Undo in b.v -Should automatically unlock c.v. - - ------- - -2. - -Process as before. -Delete buffer b.v. -Retract in a.v - +New in 3.3: experimental proper handling of multiple files. + Not expected to be robust, see comments in coq.el + Should be improved for Coq 7, I hope! + Test also for automatic compilation. |