3 ms·
This IS the web file, no? (and if not, where are the web files?)
by shp0ngle 7y ago
This IS the web file, no? (and if not, where are the web files?)
- zimpenfish 7y agoMy apologies! I misread the file and thought it was the TeX output from the WEB. You are completely correct, that's the WEB file.