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.
I just noticed that dependent+product+natural+deduction+-+table displays broken images. This is because it contains links to images such as:
http://quicklatex.com/cache3/ql_0f8017d784e4a76b2ab20cd0404896ca_l3.png
and these no longer seem to exist on the quicklatex server.
I can’t fix these because the source of that table doesn’t contain the text that quicklatex uses to generate the images.
Shouldn’t all images that quicklatex generates be saved on the nLab server rather than relying on an external server, and shouldn’t nLab pages contain the quicklatex text?
I tried to see where quicklatex is used in the nLab but this Google search doesn’t even turn up this problem table.
https://www.google.com/search?q=quicklatex site:http://ncatlab.org/
so I don’t know how big the problem is.
Thanks for the alert. Darn. Of course all this “should” be different. There is still lacking any good way to display diagrams on the nLab (of all wikis…)
Fortunately, quicklatex is only used (or was ever used) on the following pages:
1 to 3 of 3