Michael Clarkson

`.}` not detected by PG as syntax error

1

**Environment:** Mac, Emacs 27.2, Coq 8.13.2, PG 20220310.2253; also VS Code 1.65.2, VSCoq 0.3.6; Coq_Platform_2021.09.0; and the online Scratchpad jsCoq 0.15.0, Coq 8.15.0. **Steps to reproduce:** 1. Put this code...

Cell error traceback incorrectly lexed as IPython

7

**Describe the bug** I'm using Jupyter Book to produce a book with executable OCaml cells, including demoing some OCaml code that deliberately does not compile. I tag those cells with...

Cell error traceback incorrectly lexed as IPython

2

### Describe the bug I'm using Jupyter Book to produce a book with executable OCaml cells, including demoing some OCaml code that deliberately does not compile. I tag those cells...

At the bottom of the [README](https://github.com/Chris00/ocaml-csv/blob/master/README.md) there is a link to the documentation. That URL is https://math.umons.ac.be/anum/software/csv/. At least for me, that now redirects to the UMons homepage at https://web.umons.ac.be/en/....