Ticket #758 (new feature)
Opened 3 weeks ago
Make whole theories (de)selectable in proof window
| Reported by: | till | Owned by: | luecke |
|---|---|---|---|
| Priority: | major | Milestone: | 0.95 |
| Component: | provers | Version: | 0.93 |
| Keywords: | Cc: |
Description
plus (de)selection of invidual axioms, as already there
Note: See
TracTickets for help on using
tickets.
