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
