Issues

• Hom designators that can cover multiple languages

  ott-lang/ott#141 · Filter by author dorchard opened on Sep 16, 2026

• Github hosted auto-generated docs

  v0.35
  ott-lang/ott#140 · Filter by author dorchard opened on Sep 16, 2026

• Cannot generate menhir parser when using locally nameless

  ott-lang/ott#136 · Filter by author dorchard opened on Feb 7, 2026
  2

• Rules statistics in tex

  ott-lang/ott#135 · Filter by author vzaliva opened on Sep 22, 2025
  1

• Coq to Rocq name change

  ott-lang/ott#130 · Filter by author PeterSewell opened on Jun 18, 2025

• Ott filtering with cache rejects parse

  ott-lang/ott#128 · Filter by author dc-mak opened on May 2, 2025
  8

• Add support for Rocq 9.0.0

  ott-lang/ott#126 · Filter by author eapiova opened on Mar 26, 2025

• Build issues with version 0.33 on Windows (0.32 works fine)

  ott-lang/ott#101 · Filter by author MSoegtropIMC opened on Apr 4, 2023
  4

• Grammar railroad diagram

  ott-lang/ott#98 · Filter by author mingodad opened on Feb 9, 2023

• Typos

  ott-lang/ott#91 · Filter by author SnarkBoojum opened on Jul 10, 2022

• Applicative or monadic list forms?

  ott-lang/ott#90 · Filter by author mstewartgallus opened on Feb 16, 2022

• Unicode support in .ott files

  ott-lang/ott#85 · Filter by author PeterSewell opened on Aug 31, 2021
  4

• Missing documentation for preamble homs

  ott-lang/ott#82 · Filter by author palmskog opened on Jul 13, 2021

• [locally-nameless] disable emitting lc constraints for some rules

  ott-lang/ott#80 · Filter by author rogerbosman opened on Jul 13, 2021
  4

• Line continuations in source files

  ott-lang/ott#78 · Filter by author goldfirere opened on May 19, 2021
  1

• Tex output: formatting expression in a given non-terminal

  ott-lang/ott#77 · Filter by author aspiwack opened on Apr 8, 2021

• Ott support for JSON?

  ott-lang/ott#74 · Filter by author martinberger opened on Jan 30, 2021
  1

• tex_wrap_post fails to generate complete tex document

  ott-lang/ott#73 · Filter by author heades opened on Nov 24, 2020
  1

• Stop generating unattached documentation comments in Ocaml

  ott-lang/ott#64 · Filter by author tperami opened on Apr 15, 2020

• Be consistent about stdout and stderr output for normal output and errors

  ott-lang/ott#63 · Filter by author tperami opened on Apr 15, 2020

• Export to HTML

  ott-lang/ott#48 · Filter by author Vertmo opened on May 29, 2019
  2

• Coq definitions: Prop or Set?

  ott-lang/ott#45 · Filter by author liyishuai opened on Feb 20, 2019
  1

• Interpreting [] in tex production

  ott-lang/ott#44 · Filter by author buggymcbugfix opened on Nov 21, 2018
  6

• -coq_expand_list_types changes behaviour of subrule predicates

  ott-lang/ott#39 · Filter by author JoeyEremondi opened on Aug 29, 2018
  1

• LaTeX output includes "l" when {{ aux _ l }} is used

  ott-lang/ott#35 · Filter by author alastairreid opened on May 31, 2018
  2