Opened 17 years ago
Last modified 11 years ago
#101 new enhancement
Add scriptreplace and menu choice interaction
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 5:PGIP-design | Keywords: | |
| Cc: |
Description
- We have messages for (statically) configuring prover operations and types
- Some of these are configured just for example in
pgip_isar.xmlincluded with the Isabelle distribution - We also have a message
<scriptinsert>which should be generalised to<scriptreplace>, ideas in place for this - We note that prover object positions can be referred to via undo co-ordinates
To discuss at some later point.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted