[isabelle-dev] Analysis not building

Lawrence Paulson lp15 at cam.ac.uk
Sat Feb 2 14:09:41 CET 2019


HOL-Analysis can’t be built (reproducibly) with the latest version (76f2d492627e). It simply dies, no error message.

Larry



More information about the isabelle-dev mailing list