upload Isabelle/Eclipse artifacts (p2 repo and standalone products) to SourceForge release section
upload Isabelle/Eclipse artifacts (p2 repo and standalone products) to SourceForge release section

Using `isabelleeclipse` project in SourceForge to host downloads since GitHub does not support it anymore;
Upload requires settings.xml with SourceForge authentication;

andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse