On 25/05/2020 14:48, Makarius wrote:
On 25/05/2020 15:36, David Matthews wrote:
This is a bit of an experiment and I don't know how useful it will turn out to
be. The web pages themselves could do with being improved but they should be
in a state for beta-testing. I've selected fields based on what I think would
be useful but they can always be changed. The web site is at
https://www.polyml.org/software/index.php and is linked from the main Poly/ML
website at www.polyml.org.
Let me know what you think.
I have registered as "makarius" and tried to add the Isabelle project: some of
the test fields have a rather short limit, notably "Platform", "Link to
project", "Download link".
Thank you for the feedback. I've adjusted the limits to match the sizes
in the database. Please try again.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
