[isabelle-dev] NEWS: Isabelle sessions and build management

[Peter Lammich]

In Collections and refine-monadic, as far as I can remember, there are
two specialties:
  1. We use a book document class rather than the default article, which
required some fine-tuning of the documents. We use text_raw
"\chapter{...}" instead of header "".

  2. We generate the userguide as a separate document, re-using the
tex-files generated by the previous run of Isabelle.  


Peter


On Fr, 2012-08-03 at 09:05 +0200, Jasmin Christian Blanchette wrote:
> Am 02.08.2012 um 23:20 schrieb Makarius:
> 
> > BTW, there were other specialities in Collections, Refine_Monadic, and also Huffman concerning document generation. These were rather unexciting, and easily performed by regular system functions.
> 
> For Huffman, the "fixdoc" script is not critical. It replaces 'a with \alpha and things like that. I can live without it. But what do you mean by "regular system functions"?
> 
> Jasmin
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev