Changes between Initial Version and Version 2 of Ticket #106


Ignore:
Timestamp:
Jul 10, 2007, 9:57:18 AM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #106

    • Property Owner changed from David Aspinall to Graham Dutton
    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.0.7
  • Ticket #106 – Description

    initial v2  
    1 PGIP normalresponses with the area set to be status bar should be supported, both in Isabelle and Eclipse.
     1PGIP normalresponses with the area set to be "status" should be supported, both in Isabelle and Eclipse.