[isabelle-dev] Proposing extensions to the Isabelle library?

Makarius makarius at sketis.net
Tue Jan 1 14:10:08 CET 2013

On Sun, 30 Dec 2012, Tobias Nipkow wrote:

>> The hints in README_REPOSITORY and the "system" manual suggest that 
>> "isabelle build -a" is the standard way to build all Isabelle sessions.
> In which case the latex document is not tested, which is why the wiki 
> suggests the longer invocation, to save other people unpleasant 
> surprises.

This can be safely ignored.  I never do it like that myself.

When the documents break, one can fix afterwards -- it is usually obvious 
how to do it.  No information is gained by spending more time here.


More information about the isabelle-dev mailing list