[isabelle-dev] Missing Isabelle component

Lawrence Paulson lp15 at cam.ac.uk
Thu Oct 4 15:47:40 CEST 2012

Previous message (by thread): [isabelle-dev] An note on code generator bookkeeping and the code generator preprocessor [was: Locale interpretation with mixins]
Next message (by thread): [isabelle-dev] Missing Isabelle component
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Does anybody understand the attached message, which seems to involve the new build system?
Larry

~/isabelle/Repos/src/HOL: isabelle build HOL-ex
### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/exec_process-1.0.2"
Running HOL-ex …

~/isabelle/Repos/src/HOL: hg id
74ad6ecf2af2 tip

Previous message (by thread): [isabelle-dev] An note on code generator bookkeeping and the code generator preprocessor [was: Locale interpretation with mixins]
Next message (by thread): [isabelle-dev] Missing Isabelle component
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list