Closed kohlhase closed 7 years ago
I found them at http://subversion.dfki.de/OpenMath/OMSoc/members/honorary.csv, they are not on the members on the web.
Oh, and BTW, we should have the www list as the official roster, the one under admin seems of of date.
This is done on the gh-pages site.
I found them at http://subversion.dfki.de/OpenMath/OMSoc/members/honorary.csv, they are not on the members on the web.