[isabelle-dev] "build" name

[Makarius]

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.


 	Makarius