Opened 17 years ago
Last modified 11 years ago
#22 assigned enhancement
Refactor SessionManager
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
Continue refactoring of SessionManager to clean up responsibilities and add access controls on underlying models of prover state, etc. Queue handling, prover info and state, etc, should be handled as delegated behaviour (see treatment of ControlledDocuments).
Change History (3)
comment:1 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|
comment:2 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Status: | new → assigned |
comment:3 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted