PUB ⇝
PUBlishing
<language>
(PUB) A 1972 text-formatting language for TOPS-10, with syntax based on SAIL. PUB influenced TeX and Scribe.
["PUB: The Document Compiler", Larry Tesler, Stanford AI Proj Op Note, Sept 1972].Last updated: 2020-02-09
Nearby terms:
Public Key Infrastructure ♦ Public Switched Telephone Network ♦ PUBlishing ♦ puff ♦ PUFFT
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
