25 May
2020
25 May
'20
2:48 p.m.
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".
Makarius