Language

Package: texlive-formal-grammar @ 66594

Synopsis

Typeset formal grammars

Description

This package provides a new environment and associated commands to typeset BNF grammars. It allows to easily write formal grammars. Its original motivation was to typeset grammars for beamer presentations, therefore, there are macros to emphasize or downplay some parts of the grammar (which is the main novelty compared to other BNF packages).

Home page
https://ctan.org/pkg/formal-grammar
Location
gnu/packages/tex.scm (line: 14204, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxor1k-elf/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxi686-w64-mingw32/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxi586-pc-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxavr/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/mihbg1ajvy0fzjspxrv5wm0x79mlgsbc-texlive-formal-grammar-66594.drv
riscv64-linux/gnu/store/dgznfabclchvkzmyf2m0ikfrq35dad01-texlive-formal-grammar-66594.drv
powerpc-linux/gnu/store/cqnjzqrzj79lqrxvk6w67pqdsgh2vy6s-texlive-formal-grammar-66594.drv
    powerpc64le-linux/gnu/store/rbr21cb0g3gqx4yfcydap3lbds6m0vpf-texlive-formal-grammar-66594.drv
    mips64el-linux/gnu/store/bqcb78q0ncqacylb9lfv3zr6kjbpqgw7-texlive-formal-grammar-66594.drv
      i686-linux/gnu/store/pz4hqcr44hkpd1jx2f8829i0ffdain29-texlive-formal-grammar-66594.drv
      i586-gnu/gnu/store/cs6hkr29azs2axh2yahl8cqrk0f243z7-texlive-formal-grammar-66594.drv
      armhf-linux/gnu/store/f4srcp9hcn1p5l7qhqjgiy504kr6khk4-texlive-formal-grammar-66594.drv
      aarch64-linux/gnu/store/b3z0z49mg0npzirynr0l28zn442zv141-texlive-formal-grammar-66594.drv

      Lint warnings

      LinterMessageLocation
      description

      Validate package descriptions

      description contains typo 'allows to'