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

Gerwin Klein gerwin.klein at nicta.com.au
Tue Jul 31 01:40:40 CEST 2012


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


More information about the isabelle-dev mailing list