search

holtzermann17 / planetmath-docs

Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
https://github.com/KWARC/planetary/issues?labels=&milestone=&page=1&state=open
7 stars 1 forks source link

Docs: Collections #49

Open holtzermann17 opened 11 years ago

holtzermann17 commented 11 years ago

Some more detailed technical description on how to use this feature.

holtzermann17 commented 11 years ago

I will write the first iteration of this.