search

OpenMath / OpenMath.github.io

For the OpenMath.org website
https://openmath.github.io/
5 stars 10 forks source link

document development better #28

Closed kohlhase closed 7 years ago

kohlhase commented 7 years ago

I have started a stub page http://, but this needs to be extended.

lars-hellstrom commented 7 years ago

Link?

kohlhase commented 7 years ago

https://openmath.github.io/development/ (it is also linked from the blue box)

kohlhase commented 7 years ago

I think this is sufficient for now.