diff options
| author | David Aspinall | 2004-04-15 17:08:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 17:08:31 +0000 |
| commit | 5c58f544019e666aafc574a4f543a3baa87d6ad3 (patch) | |
| tree | 3cf6cb28cb07a2f6e9e8396ac37261eed6a75d7b /etc/README | |
| parent | fb0868cf2fde231d280e7410771dde1dd10b1759 (diff) | |
Updated.
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -14,10 +14,12 @@ ProofGeneral.desktop Menu file for some Linux versions. announce Announcement -lego Files for testing LEGO Proof General -isa Isabelle Proof General -isar Isar PG -demoisa Isabelle Demo PG +lego Files for testing: LEGO Proof General +isa Isabelle Proof General +isar Isar PG +demoisa Isabelle Demo PG +coq Coq +<otherprover> .. others, similarly bug-notes.txt Test cases for Emacs or PG bugs |