holtzermann17/planetmath-docs
Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
TeX
Issues
- 0
deyan ginev usability review metaticket
#80 opened by holtzermann17 - 2
Books Preview
#37 opened by holtzermann17 - 2
- 4
PM Previews
#34 opened by holtzermann17 - 1
Computer Math and KRR Preview
#76 opened by holtzermann17 - 1
Hypertext and Metamathematics Preview
#78 opened by holtzermann17 - 1
Experimental Math Preview
#77 opened by holtzermann17 - 1
Centralized Bibliographic Database Preview
#72 opened by holtzermann17 - 1
Project Orientation Preview
#74 opened by holtzermann17 - 1
Virtual Classroom Preview
#73 opened by holtzermann17 - 1
Internationalization Preview
#75 opened by holtzermann17 - 3
PlanetMath Outline Series Preview
#59 opened by holtzermann17 - 0
outreach to FFRDCs
#71 opened by holtzermann17 - 1
- 1
Devise a snapshot format
#68 opened by rspuzio - 0
Beyond Ownership
#66 opened by rspuzio - 0
- 0
Store versions of PM articles in Git
#67 opened by rspuzio - 1
backups etc should be set up again
#32 opened by holtzermann17 - 0
Docs: New User Guide improvements
#51 opened by holtzermann17 - 1
- 5
Docs: Automatic linking
#47 opened by holtzermann17 - 2
Docs: Scoring
#48 opened by holtzermann17 - 1
Docs: Collections
#49 opened by holtzermann17 - 1
Docs: Menus
#43 opened by holtzermann17 - 3
Docs: Graphics
#45 opened by holtzermann17 - 0
Docs: Authority model
#46 opened by holtzermann17 - 0
Docs: Programmer quickstart
#56 opened by holtzermann17 - 1
Minimum new content
#35 opened by holtzermann17 - 0
Design for bulk uploading
#65 opened by holtzermann17 - 0
- 0
new logo contest
#64 opened by holtzermann17 - 2
Docs: TeX
#44 opened by holtzermann17 - 2
- 0
improved system stats
#61 opened by holtzermann17 - 0
snarf math.stackexchange.com questions?
#60 opened by holtzermann17 - 0
Further cleanup from beta testing
#55 opened by holtzermann17 - 0
marketing strategy 1.0
#58 opened by holtzermann17 - 0
Docs: Community Guidelines improvements
#52 opened by holtzermann17 - 1
New Computer for OCR experiments
#57 opened by holtzermann17 - 7
use planetmath without sign-up or log in
#39 opened by holtzermann17 - 2
Operator's Manual for Planetary
#33 opened by holtzermann17 - 0
centralized bibliography demo
#41 opened by holtzermann17 - 5
MINIMAL PLAN FOR RELAUNCH
#36 opened by rspuzio - 6
moderation policy (to discuss)
#53 opened by holtzermann17 - 0
News item about new books as we add them
#54 opened by holtzermann17 - 0
legal clarification
#50 opened by holtzermann17 - 1
Frontpage redesign
#38 opened by holtzermann17 - 4
represent and reason about symbolic content
#31 opened by holtzermann17 - 11
PlanetMath metadata
#40 opened by dginev