AutoCorres 1.11
- Isabelle2024 edition of AutoCorres
- Further clean-up and restructure of monad libraries.
C Parser 1.21
- Isabelle2024 edition of the C Parser
- Updated SIMPL from the AFP
- Ensure that
umm_types.txt
is saved relative to theory file - If
cpp_path
is relative, make it relative to the current theory