[isabelle-dev] Analysis not building

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

Previous message (by thread): [isabelle-dev] polyml-test-b68438d33c69
Next message (by thread): [isabelle-dev] Analysis not building
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Larry

Previous message (by thread): [isabelle-dev] polyml-test-b68438d33c69
Next message (by thread): [isabelle-dev] Analysis not building
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list