Opened 16 years ago
Last modified 11 years ago
#256 new defect
Use prover-specific Preference Initialisers
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Rather than initialising (i.e., defining) preferences when we add provers to the prover registry, this should be done by a preference initialiser in each prover plugin, c.f. PreferenceInitializer in the main plugin. This would speed up start up slightly (lazy strategy).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted