pub(redirected from Pub (disambiguation))
Also found in: Dictionary, Thesaurus, Wikipedia.
1. Chiefly Brit a building with a bar and one or more public rooms licensed for the sale and consumption of alcoholic drink, often also providing light meals
2. Austral and NZ a hotel
PUBlishing. A 1972 text-formatting language for TOPS-10, with syntax based on SAIL. Influenced TeX and Scribe. ["PUB: The Document Compiler", Larry Tesler, Stanford AI Proj Op Note, Sept 1972].