[isabelle-dev] `compiling' the cookbook
christian.sternagel at uibk.ac.at
Wed Mar 18 15:40:11 CET 2009
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.
$ $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