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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
