List view

• Tickets previously assigned to closed Milestones

  A milestone used to collect tickets of closed milestones which have not been resolved yet

  No due date

  •0/64 issues closed
  0% complete64 open0 closed

• 2.0

  *** Migrated from http://trac.informatik.uni-bremen.de:8080/hets/milestone/2.0

  No due date

  •4/12 issues closed
  33% complete8 open4 closed

• 1.0

  the whole of CASL is fully supported, all features are demonstrated with example proofs, and some heterogeneous case studies with proof scripts have been completed *** Migrated from http://trac.informatik.uni-bremen.de:8080/hets/milestone/1.0

  No due date

  •179/486 issues closed
  36% complete307 open179 closed