Changes between Initial Version and Version 1 of Ticket #260


Ignore:
Timestamp:
Nov 28, 2008, 8:49:18 AM (15 years ago)
Author:
David Aspinall
Comment:

This is the fault of Isabelle's =url.ML= which does not do any decoding.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #260

    • Property Priority changed from major to minor
    • Property Component changed from 1:pg-eclipse to 4:prover-isabelle
    • Property Type changed from to defect
    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.1.0