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

[Tobias Nipkow]

Am 29/12/2012 19:59, schrieb Makarius:
>> 2) testing changes:
>> Before publication, pull any changes from the official repository. (This might
>> effect a merge.) Now test your changes at least by
>>
>>   isabelle build -a -o browser_info -o document=pdf -o document_graph
> 
> This "-o document_graph" is pointless, from where is this coming?
> 
> 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.

Tobias