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 InfrastructurePublic Switched Telephone NetworkPUBlishingpuffPUFFT

Try this search on Wikipedia, OneLook, Google


Loading