The changesets a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7 seem to be the result of some mercurial/merge accident.

They break HOL-Analysis, and it is not really clear from the history why and how to repair it.

The last working version is 56acd449da41.

Any opinions on what would be the best way to continue from here?

Strip the accidental changes from the repository?
Back out the changes?
Or do a no-op merge from a successor of the last working version?


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

isabelle-dev mailing list

Reply via email to