> While we're at it: what is the general feeling towards migrating the AFP > to svn?
I wouldnt bother for now... Alex
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration and Do... Gerwin Klein
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Florian Haftmann
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Alexander Krauss
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Tobias Nipkow
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Clemens Ballarin
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Lucas Dixon
- [isabelle-dev] [Fwd: SourceForge.net CVS Migration a... Makarius
- [isabelle-dev] [Fwd: SourceForge.net CVS Migrati... Gerwin Klein
