Closed aisejohan closed 10 years ago
On the tag pages, when viewing the code, it was suggested by Kiran Kedlaya that we make every line of the form
\label{.....}
into a link to the page corresponding to the tag of the label.
On the tag pages, when viewing the code, it was suggested by Kiran Kedlaya that we make every line of the form
\label{.....}
into a link to the page corresponding to the tag of the label.