> Native_Word should work again in 203deaf5208d (see also 61aeecc4093d), > both with GHC 7.8 and GHC 7.10.
Build is still running, but looks like it's working again. I'm pushing another item on my todo list: Print the relevant system information (e.g. compiler versions) in the log. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
