boxenv. sty: A Latex Style File for Formatting BOX Expressions. Software211 Engineering

摘要

BOX is a language independent mark-up language. It is designed for use within a211u001egeneric pretty-print framework to connect source language dependent front-ends to 211u001etarget language dependent back-ends. A front-end translates a term over a 211u001elanguage to BOX to describe its intended layout. Back-ends translate BOX terms to 211u001earbitrary output formats. The tool box21latex is a back-end that generates LATEX 211u001ecode using specialized LATEX commands and environments defined in the style file 211u001eboxenv.sty. This style file is required in order to process the generated 211u001edocument by LATEX. This paper describes how to integrate the generated LATEX 211u001efiles within your documents, and it describes the low-level interface and 211u001eimplementation of the boxenv.sty style file.