diff options
| author | David Aspinall | 2000-12-14 18:53:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-14 18:53:29 +0000 |
| commit | 4afd3c45883bd424028ef8dd341d34cf2df8f1e3 (patch) | |
| tree | ca559be0c36282f98d52b618ce761ef058c53a37 /etc/coq/multiple/README | |
| parent | 2ce3be2f0405b9e8f86f0b6e335ecd8bcdc40312 (diff) | |
Updated to use Require commands
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. |