holtzermann17 planetmath-docs issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

deyan ginev usability review metaticket

#80 holtzermann17 opened 11 years ago
0
"What's Next for PlanetMath/Planetary?" Preview

#79 holtzermann17 opened 11 years ago
2
Hypertext and Metamathematics Preview

#78 holtzermann17 opened 11 years ago
1
Experimental Math Preview

#77 holtzermann17 opened 11 years ago
1
Computer Math and KRR Preview

#76 holtzermann17 opened 11 years ago
1
Internationalization Preview

#75 holtzermann17 opened 11 years ago
1
Project Orientation Preview

#74 holtzermann17 opened 11 years ago
1
Virtual Classroom Preview

#73 holtzermann17 opened 11 years ago
1
Centralized Bibliographic Database Preview

#72 holtzermann17 opened 11 years ago
1
outreach to FFRDCs

#71 holtzermann17 opened 11 years ago
0
Upgrade collections facility to allow automatic generation

#70 rspuzio opened 11 years ago
1
Devise a query language for choosing works and expressions

#69 rspuzio opened 11 years ago
0
Devise a snapshot format

#68 rspuzio opened 11 years ago
1
Store versions of PM articles in Git

#67 rspuzio opened 11 years ago
0
Beyond Ownership

#66 rspuzio opened 11 years ago
0
Design for bulk uploading

#65 holtzermann17 opened 11 years ago
0
new logo contest

#64 holtzermann17 opened 11 years ago
0
"Three Cs": Further development of PlanetMath/Planetary

#63 holtzermann17 opened 11 years ago
0
"When you wish upon a star": AsteroidMeta feature requests complete

#62 holtzermann17 opened 11 years ago
2
improved system stats

#61 holtzermann17 opened 11 years ago
0
snarf math.stackexchange.com questions?

#60 holtzermann17 opened 11 years ago
0
PlanetMath Outline Series Preview

#59 holtzermann17 opened 11 years ago
3
marketing strategy 1.0

#58 holtzermann17 opened 11 years ago
0
New Computer for OCR experiments

#57 holtzermann17 opened 11 years ago
1
Docs: Programmer quickstart

#56 holtzermann17 opened 11 years ago
0
Further cleanup from beta testing

#55 holtzermann17 opened 11 years ago
0
News item about new books as we add them

#54 holtzermann17 opened 11 years ago
0
moderation policy (to discuss)

#53 holtzermann17 opened 11 years ago
6
Docs: Community Guidelines improvements

#52 holtzermann17 closed 11 years ago
0
Docs: New User Guide improvements

#51 holtzermann17 opened 11 years ago
0
legal clarification

#50 holtzermann17 opened 11 years ago
0
Docs: Collections

#49 holtzermann17 opened 11 years ago
1
Docs: Scoring

#48 holtzermann17 opened 11 years ago
2
Docs: Automatic linking

#47 holtzermann17 opened 11 years ago
5
Docs: Authority model

#46 holtzermann17 opened 11 years ago
0
Docs: Graphics

#45 holtzermann17 opened 11 years ago
3
Docs: TeX

#44 holtzermann17 closed 11 years ago
2
Docs: Menus

#43 holtzermann17 opened 11 years ago
1
About Us / FAQ pages back online in a prominent place

#42 holtzermann17 opened 11 years ago
1
centralized bibliography demo

#41 holtzermann17 opened 11 years ago
0
PlanetMath metadata

#40 dginev closed 11 years ago
11
use planetmath without sign-up or log in

#39 holtzermann17 opened 11 years ago
7
Frontpage redesign

#38 holtzermann17 opened 11 years ago
1
Books Preview

#37 holtzermann17 opened 11 years ago
2
MINIMAL PLAN FOR RELAUNCH

#36 rspuzio closed 11 years ago
5
Minimum new content

#35 holtzermann17 opened 11 years ago
1
PM Previews

#34 holtzermann17 opened 11 years ago
4
Operator's Manual for Planetary

#33 holtzermann17 opened 11 years ago
2
backups etc should be set up again

#32 holtzermann17 opened 11 years ago
1
represent and reason about symbolic content

#31 holtzermann17 opened 11 years ago
4