Opened 17 years ago
Last modified 11 years ago
#149 new defect
Unify batch and incremental mode of processing
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
This is the Isabelle side of #148
Note: See
TracTickets for help on using
tickets.
Milestone Future deleted