> I am keen to use a more modern distributed system but it probably means > choosing an external provider rather than trying to get the University to > provide yet another semi-supported tool that works at the beginning and then > rusts. Sourceforge is the most likely candidate.
I'd recommend Savannah (either as a GNU or a non-GNU project). Which reminds me: it would be nice to include PG into the GNU ELPA (a package archive from which Elisp packages can be installed conveniently via package.el). If you agree this is a desirable goal, then we'd need to track down all the non-trivial contributors to get them to sign some copyright assignment. Stefan _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel