[isabelle-dev] `compiling' the cookbook

[Christian Sternagel]

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?

cheers

christian