diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:06:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 23:06:12 +0000 |
| commit | bd014aea0aeeab48a91778c26b451076f7f414d6 (patch) | |
| tree | fc4d7b31818d4e4d32433384e2a0e9cf731b24f6 /CHANGES | |
| parent | b75346c194fba8822b84f3a585f9cf17645da9d6 (diff) | |
Grumpy note
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -59,5 +59,10 @@ do not print multiple identical prompts for continued lines. Beginnings of support PGIP protocol (work in progress with Isabelle CVS version). Presently allows Isabelle to configure Proof General. -CURRENTLY SUPPORT FOR CURRENTLY RELEASED ISABELLE VERSIONS IS BROKEN +CURRENTLY SUPPORT FOR CURRENTLY RELEASED ISABELLE VERSIONS IS BROKEN! +Backward compatibility may not be maintained: it's simply too much +effort. This means that if you upgrade your Emacs version, which +forces you to upgrade Proof General because Emacs upgrades usually +break Proof General (Emacs authors pay little heed to maintaining +APIs), then you may have to upgrade your Isabelle version as well. |