update in kwarc members - language for aliases - Githubissues

MathHubInfo / Legacy-planetary

Legacy: Planetary System is a math-enabled Web 3.0 information portal.

http://trac.mathweb.org/planetary/

79 stars 25 forks source link

update in kwarc members - language for aliases #397

Closed mihaifieraru closed 11 years ago