holtzermann17/planetmath-docs

Design for bulk uploading

holtzermann17 opened this issue · 0 comments

holtzermann17 commented

Short version: We would like a way to upload books in bulk.

Details: discussion is going on here http://planetmath.org/semanticsofmathematicaldocuments