Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This is a short article with a definition of the category of filters, now called the category of filters.
I apologise for vandalising by mistake the article on filters, and thanks to Richard Williamson for fixing this. I tried to “edit a current page .. in context on a relevant page” misunderstanding the intructions from HowTo:
How to start a new page
You do this in two steps, the first of which may have already been done:
Create a preliminary link (represented by a question mark) by editing > a current page and putting the name of the new page in double square brackets
Anonymous
Thank you for your edits and additions and for explaining; no problem! Welcome to the nLab :-)!
I will try to make the instructions which caused confusion clearer; if anybody else sees this and wishes to try to do so before I get to it, please feel free!
But what was the misunderstanding?
The page filter was literally edited with the old content removed and the content now at category of filters added instead; and the name of the page was literally changed to [[category of filters]]
(including the square brackets).
Oh, I see.
Okay, I have re-worked the HowTo-section here.
1 to 5 of 5