On 30/07/2012, at 3:04 AM, Makarius wrote: > On Sun, 29 Jul 2012, Gerwin Klein wrote: > >> The documents and outline are one major outcome (some might say the whole >> point) of the AFP sessions. So we still need to test them in the nightly run >> and some sessions will require special setup, e.g. other programs to run >> before the document is produced. This should be only a very small number of >> sessions, though, which we can probably work out. > > Can you point to some of these freak sessions on AFP? > > So far I've only looked sporadically, and did not see anything very special > apart from JinjaThreads.
The only one that comes to mind is the Huffman session. There may be one or two more, but the vast majority is very regular (just not strictly all, hence the need for care). Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
