Update St Andrews 2000 meeting notes - Githubissues

OpenMath / OpenMath.github.io

For the OpenMath.org website

https://openmath.github.io/

5 stars 10 forks source link

Update St Andrews 2000 meeting notes #67

Closed slel closed 3 years ago

slel commented 3 years ago

some care for Markdown formatting
some care for broken links

kohlhase commented 3 years ago

thanks for the beautifications.