[isabelle-dev] "build" name
makarius at sketis.net
Fri Dec 14 12:44:13 CET 2012
On Thu, 13 Dec 2012, Lawrence Paulson wrote:
> Is there a "verbose" option where it says what it's going to do first?
There is a certain balance of default verbosity, and explicit -v option,
and also a command usage and system manual (with examples) to explain all
that. So when you say "isabelle build HOL" the the system says "Running
HOL ...". In any case, you need to look what happens.
What is still missing from the manual is an explanation of the Isabelle
system options that are relevant to the build process, so more and more
text to be ignored then.
More information about the isabelle-dev