Opened 17 years ago
Last modified 11 years ago
#122 new enhancement
Use Batch Build Command and Project Batch Build Command
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
These settings are in ProverNamePreferences and can be set in IsabellePrefs.xml and CoqPrefs.xml, etc.
We should configure a builder for using the file batch build command, which interacts with script management in a sensible way (e.g. do not try batch building the active script).
The project batch build command is handy for Isabelle. It may need a menu/toolbar command, perhaps (cf run).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted