Vorschläge für VDM

Die folgenden Pakete haben etwas mit dem Paket VDM gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

• Package formal-grammar: Typeset formal grammars
• Package backnaur: Typeset Backus Naur Form definitions
• Package naive-ebnf: EBNF in plain text
• Package objectz: Macros for typesetting Object Z
• Package simplebnf: A simple package to format Backus-Naur form (BNF)
• Package vdmlisting: Typesetting VDM in ASCII syntax
• Package zed-csp: Typesetting Z and CSP format specifications
• Package bnf-plain: Plain TeX macros for BNF grammars
• Package zed: Typeset Z specifications
• Package latex-bnf: LaTeX macros for typing BNF specifications
• Package ebnf: Simple package for EBNF productions
• Package context-bnf: A BNF module for ConTeXt
• Package braille: Support for braille
• Package tds: The TeX Directory Structure standard
• Package dvistd: A standard for DVI drivers
• Package tex-vpat: TeX Accessibility Conformance Report
• Package sr-hyphen-spec: Hyphenation of special cases in Serbian
• Package was: A collection of small packages by Walter Schmidt
• Package foilhtml: Interface between foiltex and LaTeX2HTML
• Package mapcodes: Support for multiple character sets and encodings
• Package ltxmisc: Miscellaneous LaTeX packages, etc.
• Package calendar-barr: A calendar document
• Package coursepaper: Prepare university course papers
• Package concprog: Concert programmes
• Package courseoutline: Prepare university course outlines
• Package jknappen: Miscellaneous packages by Joerg Knappen
• Package kalender: Create a calendar, in German
• Package labels: Print sheets of sticky labels
• Package mhs: Historical mathematics
• Package outliner: Change section levels easily
• Package utorontothesis: A thesis class definition for University of Toronto