English Dictionary
◊ PUB
pub
n : (British) a building with a bar and public rooms; often
provides light meals [syn: {public house}, {saloon}, {pothouse},
{gin mill}, {taphouse}]
English Computing Dictionary
◊ PUB
PUB
1. 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].
2. /pub, the top-level, publicly accessible directory on most
{anonymous FTP} archives. This is usually where the
interesting files are. See {pubic directory}.