[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

[Jasmin Christian Blanchette]

Hi Florian,

Am 27.05.2012 um 20:25 schrieb Florian Haftmann:

> for years now, there was a silent convention that
> ~isabelle/contrib_devel at the TUM NFS would contain references to
> more-or-less up-to-date add-on components for Isabelle.  Is there
> currently anybody still doing maintainance there?

"ls -l" reveals that "blanchet", "krauss", and "wenzelm" have been active there lately.

> Or does meanwhile everybody use the testboard?

That seems to be the trend, but we all need a backup for when testboard is down.

> A first step would be that the add-on components shipped with the
> current distribution are also available by NFS.

I'm surprised they were taken out. They used to be there for Isabelle2011-1.

Cheers,

Jasmin