Opened 17 years ago
Last modified 11 years ago
#11 new enhancement
Builder for parsing/proving files automatically
| Reported by: | anonymous | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Add builder for parsing/proving files automatically.
This is partly done but we could be more refined about when to parse/prove automatically. In particular, we can start adding dependency tracking to determine and order for re-parsing/proving. So the builder populates a list of deltas, then we complete dependencies, then we sort and process.
A per-document property might be handy to disable locally.
Change History (2)
comment:1 Changed 17 years ago by
| Component: | documentation → proofgeneral-eclipse |
|---|
comment:2 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.1.0 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted