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

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: Future

Milestone Future deleted

Note: See TracTickets for help on using tickets.