Add DOI badge

I created an archival release v1.0 and got a badge through Zenodo, so that the software can be easily cited in publications.
MathHubInfo · Sep 6, 2016 · 59ff31f · 59ff31f
1 parent 063c951
commit 59ff31f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # About
 
+[![DOI](https://zenodo.org/badge/24270/KWARC/planetary.svg)](https://zenodo.org/badge/latestdoi/24270/KWARC/planetary)
+
 Since mid-2013, Planetary is the software system that powers [PlanetMath](http://planetmath.org).  The technologies used (including Drupal 7, MathML, and the Virtuoso triple store) comprise an extensible modern platform, suitable for further development and stand-alone deployments.  For instance, Planetary is currently in use as a course forum and as the frontend to a formal mathematics system.
 
 # Our development style