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.
Your external editor (or something) is mangling some non-ASCII characters. See your latest edits to homotopy limit and infinitesimal object for examples. (By the way, I hope that you didn’t mean to edit anything on those pages other than to add links to walking structure, because I fixed them by rollback.)
It looks like this has been going on for a while! (See the bottom, and check the date.)
Drat, sorry. I thought I had trained myself not to use that editor with the nlab since it started having those problems, but I guess I forgot today. (It’s the “edit with Emacs” extension for Chrome, so everyone else knows to avoid it.) Glad you’re on top of these things.
I haven’t been on top of everything in the nLab since September, but sometimes I still catch something. (^_^)
1 to 4 of 4