Opened 17 years ago
Last modified 11 years ago
#147 new enhancement
Add support for (static) code templates inside Isabelle
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 4:prover-isabelle | Keywords: | |
| Cc: |
Description
Templates described in PGIP should be configurable via prover configuration messages.
Change History (2)
comment:1 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|
comment:2 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted