Tricki
a repository of mathematical know-how

Inline comments in Log

Inline comments in Log

I wrote an inline comment and the entry for it in the Log page has no descriptor (does it have the option to write it and I didn't see it?). Nevertheless, it may be useful to give to any inline comment, by default, an "inline comment" descriptor at the Log.

Inline comments shouldn't be displayed at all in the log, but at the moment, they are. This is something Olof and I are working on.