> 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.

ProofGeneral-devel mailing list

Reply via email to