omahony@swift.cs.tcd.ie (10/08/90)
We currently have ISODE 5.0 and were about to upgrade to ISODE 6.0, but were advised to wait, as ISODE 7.0 was imminent. We also intend to run PP. The recent announcement for PP 5.0 stated that it required ISODE 6.0 to run and that versions before or after this were unacceptable. What should we do? Donal O'Mahony Computer Science Dept Trinity College Dublin Ireland
j.onions@computer-science.nottingham.ac.uk (Julian Onions) (10/11/90)
Depends on your timescales - I think 7.0 will be a month or two away yet, and it will then be another month at least before PP-6.0 with ISODE-7.0 support is available. So if you want to run PP, then it will be sometime in the Jan-March period I guess before you can run it with ISODE-7 I think you now have the facts, the decision is yours! Julian.