Author: Dmitri Pavlov Format: MarkdownItexAdded more material about Alexandroff locales.
<a href="https://ncatlab.org/nlab/revision/diff/specialization+topology/24">diff</a>, <a href="https://ncatlab.org/nlab/revision/specialization+topology/24">v24</a>, <a href="https://ncatlab.org/nlab/show/specialization+topology">current</a>
Author: Urs Format: MarkdownItexI have added some whitespace in the code and that seems to have fixed the problem.
Not sure what the problem actually was. But, generally, a fair amount of whitespace in the code helps to read it -- not just for the parser, but also for us.
<a href="https://ncatlab.org/nlab/revision/diff/specialization+topology/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/specialization+topology/25">v25</a>, <a href="https://ncatlab.org/nlab/show/specialization+topology">current</a>
I have added some whitespace in the code and that seems to have fixed the problem.
Not sure what the problem actually was. But, generally, a fair amount of whitespace in the code helps to read it – not just for the parser, but also for us.