4 ms·
I think the "source code" of TeX would be either the WEB files or the formatted output (ie "TeX: The Program") rather than the TeX output from WEB.
by zimpenfish 7y ago
I think the "source code" of TeX would be either the WEB files or the formatted output (ie "TeX: The Program") rather than the TeX output from WEB.
- shp0ngle 7y agoThis 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.