[isabelle-dev] Isatest

Makarius makarius at sketis.net
Tue Apr 10 11:26:52 CEST 2012

On Thu, 29 Mar 2012, Gerwin Klein wrote:

> On 29/03/2012, at 6:11 AM, Makarius wrote:
>> Who is the main responsible for isatest anyway?  According to the 
>> received customs it would be Gerwin, since he started the service many 
>> years ago. (His shell scripts still mention SunOS.)
> I still feel mildly responsible for isatest, but would be more than 
> happy to pass this on to somebody with more time and more close in 
> time(zone) and and space to where it actually runs.

To summarize this mail thread for permanence in the mail archive: We keep 
the status-quo, i.e. Gerwin is historically responsible for isatest, but I 
keep it running in everyday business.


More information about the isabelle-dev mailing list