What on Earth is this? > 17:40:59 Loading theory "Nullstellensatz.Nullstellensatz_Field" > 17:40:59 ### theory "Nullstellensatz.Nullstellensatz_Field" > 17:40:59 ### 0.649s elapsed time, 3.076s cpu time, 0.000s GC time > 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No > statistics available > 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No > statistics available > 17:40:59 ### Introduced fixed type variable(s): 'c in "b__" > 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No > statistics available > 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No > statistics available > 17:40:59 *** exception Fail raised (line 683 of "statistics.cpp"): No > statistics available > 17:40:59 isabelle document -d > /media/data/jenkins/workspace/testboard/browser_info/AFP/Nullstellensatz/outline > -o pdf -n outline -t /proof,/ML17:40:59 isabelle document -d > /media/data/jenkins/workspace/testboard/browser_info/AFP/Nullstellensatz/document > -o pdf -n document
Also on the testboard. Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
