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

[Makarius]

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.


 	Makarius