…2 people in discussion Dear all, I've noticed that we have new software on this wiki (at least that's what I think happened). Now when I create a page, the possibility to mark an edit as "small" is gone. Also Hotcat isn't working as it should be, since some tools are gone now. La…

…2 people in discussion Dear all, I've noticed that we have new software on this wiki (at least that's what I think happened). Now when I create a page, the possibility to mark an edit as "small" is gone. Also Hotcat isn't working as it should be, since some tools are gone now. La…

… tildes directly, e.g., \url{http://server/~name} . [ citation needed ] In MediaWiki syntax, four tildes are a shortcut for a user's signature. Three and five tildes puts the signature without timestamp and only the timestamp, respectively. [ 70 ] In Common Lisp , the tilde is us…