Ticket #243 (new feature)

Opened 3 years ago

Last modified 14 months ago

Improve Selection Possibilities of Sentences for Proofs

Reported by: luettich Owned by: dodi
Priority: critical Milestone: 1.0
Component: provers Version: 0.66
Keywords: Cc:

Description

in ProofManagement-GUI provide structured (based on spec-names) selection/deselection facility of axioms and theorems

requires:

  • theory data structure indexed with Specification names
  • redesign of ProofManagement GUI for displaying a list of spec names
  • maybe a per spec display of sentences is better

Change History

Changed 3 years ago by till

  • owner changed from till to luecke

Changed 3 years ago by maeder

  • owner changed from luecke to rainer25

Changed 2 years ago by luecke

  • owner changed from rainer25 to raider

Changed 2 years ago by maeder

  • milestone changed from 0.8 to 1.0

Changed 14 months ago by dodi

  • owner changed from raider to dodi

Changed 14 months ago by dodi

  • priority changed from minor to critical
Note: See TracTickets for help on using tickets.