Nuprl - Introduction

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Introduction

It is quite convenient to write documents involving Nuprl subject matter inside Nuprl itself as "online" active documentation having all the assets of other Nuprl objects, including structure editing, various inter-textual links, and automatic access to the Nuprl display system. But Nuprl is weak in the type-setting department so Latex has been assumed as an off-the-shelf mechanism for standard formatting of articles when they are to be rendered outside the Nuprl system. There is an example of how to make a Latex article of this very documentation in Example: Latexing This Document.

Although it is possible to in-line Latex code (see Latex Code Literals), it is intended that the active Nuprl source texts be largely self-standing and not be considered simply as a markup notation for Latex generation.

There are certain conventions for organizing informal text within Nuprl which get translated to Latex conventions. For example, in Nuprl, as in Latex source code, paragraph separation is indicated by multiple line breaking (double or triple). Other major structures that get converted include: footnoting; section titling; article headings including title, author, date, abstracts and table of contents; bibliographies; indented subtexts such as for block quotes or set-off formulas; and simple tables.

Other features are: distinguishing between ordinary word-oriented text and more carefully formatted text requiring special symbols and multi-line layout with indentation such as for mathematical formulas or program texts; emphasizing text; references to sections and bibliographic entries; and matching quotation marks.

The Nuprl format is intended to be dynamic WYSIWYG rather than a markup language, but a couple of markup methods aimed at latex generation are implemented, one for making latex-specific annotations to be used in lieu of active Nuprl display of notations, and the other being a brute force insertion of latex source code explicitly from within the Nuprl text.

Many Latex features are absent and could be added as demand arises, such as interpretation of some objects as floating figures or tables in latex. IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

EditorDoc Sections Nuprl Doc