Definition talk:Distance to Nearest Integer Function

From ProofWiki
Jump to navigation Jump to search

Shouldn't this be called Definition:Distance to Nearest Integer Function or something? Definition:Nearest Integer Function is something else. --barto (talk) 14:04, 28 January 2017 (EST)

Dunno -- this page was put together by someone who hasn't been in since 2011. --prime mover (talk) 17:26, 28 January 2017 (EST)
Name changed. Page for other definition created. --barto (talk) 18:41, 28 January 2017 (EST)
Please note we are losing the extra space between sections whenever you do an edit. It's a stylistic convention we don't want to lose. Inconsistency makes the pages look ugly. --prime mover (talk) 18:44, 28 January 2017 (EST)
I know. Sometimes I forget about it. By the way, it would be awesome to have those style conventions be applied automatically, regardless of the number of blank lines in the source code. (As is the case with TeX.) Don't know if that's possible. --barto (talk) 18:53, 28 January 2017 (EST)
We did at one point disable the ability to edit individual sections, but the appalling MediaWiki software thwarts us there. The answer is to edit the entire page at once, and not the individual section, unless it's the last one in the page. --prime mover (talk) 01:06, 29 January 2017 (EST)