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

Tobias Nipkow nipkow at in.tum.de
Sun Dec 30 12:54:40 CET 2012

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.


More information about the isabelle-dev mailing list