I've never used SourceTree, and it is, of course, very difficult to debug such things from afar.

I could of course, with your permission, simply commit and push the entry myself.


Cheers,

Manuel
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to