[isabelle-dev] mercurial accident

Fabian Immler immler at in.tum.de
Thu Jan 17 21:21:03 CET 2019


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?

Fabian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20190117/6d964e77/attachment.p7s>


More information about the isabelle-dev mailing list