What is this file, which suddenly keeps getting created? Surely we should add it to the ignore list?
Larry
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
