Dini continuity: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 June 2012

  • curprev 18:4218:42, 11 June 2012 en>Tobias Bergemann 1,300 bytes +1,300 Merge the very short "Properties" section into the lede. I think this helps to put Dini continuity into context. Feel free to revert if you prefer the previous version.