[isabelle-dev] Isabelle manuals as regular session documents

Lars Noschinski noschinl at in.tum.de
Thu Aug 30 12:02:02 CEST 2012


On 28.08.2012 19:17, Makarius wrote:
> * The Admin tool "isabelle build_doc" helps to populate the doc/
> directory on the spot, such that "isabelle doc" finds the results.

One comment from a UI perspective: "isabelle build_doc" seems to do 
something, then fails with

cp: cannot stat `/tmp/isabelle-lars12015/*.dvi': No such file or directory
cp: cannot stat `/tmp/isabelle-lars12015/*.pdf': No such file or directory

Took me a while to discover, that I either need to give "-a" or at least 
one session explicitly. Also, an option to list the available sessions 
would be nice (same holds for "isabelle build")

   -- Lars



More information about the isabelle-dev mailing list