Author: Dmitri Pavlov Format: MarkdownItexDeleted a dead link about "future visions".
Added a remark that the project appears to be inactive since 2013.
<a href="https://ncatlab.org/nlab/revision/diff/Planet+Math/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/Planet+Math/4">v4</a>, <a href="https://ncatlab.org/nlab/show/Planet+Math">current</a>
Deleted a dead link about “future visions”.
Added a remark that the project appears to be inactive since 2013.