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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
