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).

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.