[isabelle-dev] `compiling' the cookbook

Christian Sternagel christian.sternagel at uibk.ac.at
Wed Mar 18 15:40:11 CET 2009

Hi there,

Recently I checked out the mercurial repos of Isabelle and the Cookbook
and additionally added rail to my TeX installation. After running

  $ ./build HOL

in the local Isabelle repo.

I tried

  $ $PATH_TO_LOCAL_ISABELLE_REPO/bin/isabelle make

Approximately 4 hours later (my machine was doing something according to 
its noise, but there was no output at the terminal) I killed the process.

Did I miss anything? How long is it supposed to take?



More information about the isabelle-dev mailing list