Opened 17 years ago
Last modified 11 years ago
#125 new enhancement
Use <askprefs> message to configure prover-specific preferences
Reported by: | David Aspinall | Owned by: | Graham Dutton |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Isabelle supports the PGIP <askprefs>, etc messages to advertise user preferences for the running session. They are already used in Emacs.
We should use these to configure the prover-specific preference pages instead of the current hard-wired XML file IsabelleConfigPrefs.xml (which also uses a different XML format).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted