#92 closed defect (duplicate)
Attempt recovery from XML parse errors in PGIP main loop
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 4:prover-isabelle | Keywords: | |
| Cc: |
Description
Isabelle exits in case of erroneous XML input. It could be made more robust, which, e.g., helps debugging in case of editing XML by hand.
One suggestion is to attempt recovery by scanning for the next <pgip opening.
See proof_general_pgip.ML, function loop
Note: See
TracTickets for help on using
tickets.
Will be fixed by #144