[isabelle-dev] Proposing extensions to the Isabelle library?
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
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