# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. copied from HoTT wiki

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 6th 2022
• removed the author name from the title, to comply with house style for reference-entries

• gave this entry the category:reference-tag

in combination this means that the page will be listed at all pages – references at its proper place in alphabetical order according to its title

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 9th 2022

Thanks. Sorry for the trouble, I didn’t realize that there was a redirecting problem.

2. getting rid of redundant “nlab:” in wiki links

Anonymous

3. moving references to bottom of the page

Anonymous