Link Search Menu Expand Document
CBS-beta

LangDev-2019

To browse these CBS specifications, click the link for the preferred format in the following list:

Sources

CBS text files on GitHub

  • With line numbers (useful when reporting issues or suggesting improvements) but no highlighting or hyperlinks
  • Navigation to related source files requires familiarity with the folder hierarchy
Plain

Web pages with verbatim copies of source files

  • Names are highlighted, and references are hyperlinked to declarations
  • Links to related pages support navigation between specifications
Pretty

Web pages displaying CBS with mathematical typography using KaTeX

  • Names are highlighted, and name references are hyperlinked to declarations
  • Links to related pages support navigation between specifications
PDF

Documents displaying CBS with mathematical typography using LaTeX

  • Names are highlighted, and references are hyperlinked to declarations
  • When browsing PDFs in a web browser, links to related pages are only in the navigation panel

On macOS (Catalina), the Preview app does not support hyperlinks to specific targets in PDF pages; similarly when browsing PDFs in Safari. Acrobat (Reader) and Firefox support hyperlinks in PDFs just as in web pages.

The plain and pretty web pages generated from CBS source files include links to the PDF documents, to each other, and to the source files on GitHub.

The Markdown and LaTeX files from which the web pages and PDFs were generated are available on GitHub (Plain sources, Pretty and PDF sources) together with the required CBS-LaTeX and CBS-KaTeX macro definitions and CSS. The Downloads page explains how to obtain a copy and serve the files locally.

↑