Reorganisation to avoid generating many intermediate strings from

the shell buffer, and match shell regexp directly inside it.
This changes the types of several configuration settings.

Also some improvements to scomint configuration and changes to
proof-shell-exec-loop to send the next command to the prover before
starting to process the output from the last.

This reorganisation is still in testing and will take time to bed down.

0 files changed, 0 insertions, 0 deletions