As far as I remember, the glossary was mainly a large HTML5 file, can we resurrect it for the new MathHub? I have used it extensively for demoing the active documents facilities.
Can we just copy and serve it?
And while we are at it, how about the Math dictionary?
As far as I remember, the glossary was mainly a large HTML5 file, can we resurrect it for the new MathHub? I have used it extensively for demoing the active documents facilities. Can we just copy and serve it?
And while we are at it, how about the Math dictionary?