Issues
- 0
Possible issues on Windows due to 'aux' directory
#111 opened by maroneze - 2
- 1
The "leroy-jfp96" test does not work.
#108 opened by glynawe - 4
- 4
Publish release compatible with Coq 8.19
#105 opened by SnarkBoojum - 0
- 3
Unicode support in .ott files
#85 opened by PeterSewell - 4
- 0
- 0
Grammar railroad diagram
#98 opened by mingodad - 5
Unable to build using opam 2.1.3
#94 opened by qschibler - 1
- 0
Typos
#91 opened by SnarkBoojum - 3
- 0
Applicative or monadic list forms?
#90 opened by mstewartgallus - 5
Release compatible with Coq 8.12
#72 opened by clarus - 1
Inclusion in the Coq Platform
#86 opened by MSoegtropIMC - 2
X flag does not suppress LaTeX output
#83 opened by katshun0307 - 0
Missing documentation for preamble homs
#82 opened by palmskog - 9
Locally Nameless Coq export: allow embed-like functionality that exports before ott commands (instead of after)
#81 opened by sweirich - 4
- 3
Latex export: allow `embed`-like functionality that exports before ott commands (instead of after)
#79 opened by rogerbosman - 1
Line continuations in source files
#78 opened by goldfirere - 4
Mis-ordering of definitions in Coq output
#16 opened by sweirich - 0
- 4
Defer to coq semantics in step judgement
#75 opened by elefthei - 1
Ott support for JSON?
#74 opened by martinberger - 1
- 2
Broken Links to ln_ott and lngen in the Guide
#70 opened by nxjfxu - 0
- 0
- 2
Tex Filtering Seems Broke
#61 opened by heades - 1
Ignore rules for menhir
#49 opened by Vertmo - 2
Export to HTML
#48 opened by Vertmo - 3
- 0
Coq definitions: Prop or Set?
#45 opened by liyishuai - 6
Interpreting `[]` in tex production
#44 opened by buggymcbugfix - 2
Comments?
#42 opened by buggymcbugfix - 1
- 2
- 1
- 1
- 3
- 2
Make context application Fixpoint by default
#28 opened by JoeyEremondi - 2
Function definitions: Ocaml output
#23 opened by andrewjkennedy - 2
New to ott and grammars
#17 opened by Johanvdberg - 2
0.27 Does not generate equality
#21 opened by JoeyEremondi - 2
Trouble Parsing Judgement List Forms
#20 opened by JoeyEremondi - 2
locally-closed predicate for multiple grammars
#9 opened by pa-ba - 0
locally-closed predicate does not type check
#10 opened by pa-ba