diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 12:02:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 12:02:09 +0000 |
| commit | 25ffebf59b3168ef2b5a5719c8a21d81e3016432 (patch) | |
| tree | 77e5d55e81dd817d39397d496e6dae7ba693491e /BUGS | |
| parent | 83ffba5669065faaa911c7954f299211c55a4efe (diff) | |
Minor tweaks to versions, etc.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ For latest, see: http://proofgeneral.inf.ed.ac.uk/trac See also FAQ: http://proofgeneral.inf.ed.ac.uk/FAQ The bugs here are split into problems which are generic, -and those which only apply to particular provers. +and those which only apply to particular provers. The FAQ mentions other issues which are not necessarily PG bugs. @@ -24,7 +24,7 @@ problem carefully, include a short demonstration file and tell us the exact version of Emacs and Proof General that you are using. -* Generic problems +* General issues ** If the proof assistant goes into a loop displaying lots of information |