Changes between Initial Version and Version 1 of Ticket #260
- Timestamp:
- Nov 28, 2008, 8:49:18 AM (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #260
-
Property
Priority
changed from
major
tominor
-
Property
Component
changed from
1:pg-eclipse
to4:prover-isabelle
-
Property
Type
changed from
to
defect
-
Property
Milestone
changed from
PG-Eclipse-1.0.6
toPG-Eclipse-1.1.0
-
Property
Priority
changed from