[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Mon May 28 11:56:28 CEST 2012
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.
More information about the isabelle-dev