Opened 17 years ago

Closed 16 years ago

Last modified 11 years ago

#143 closed enhancement (fixed)

Add XML/PGIP test scripts to Isabelle/Admin distribution

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone:
Component: 4:prover-isabelle Keywords:
Cc:

Description


Change History (2)

comment:1 Changed 16 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.6

Milestone PG-Eclipse-1.0.6 deleted

Note: See TracTickets for help on using tickets.