Issues

• Add opam file for the book

  ilyasergey/pnp#26 · Filter by author anton-trunov opened on Oct 18, 2020

• ssr-search-moved warning

  ilyasergey/pnp#25 · Filter by author anton-trunov opened on Oct 18, 2020
  1

• non-recursive fixpoint warning

  ilyasergey/pnp#24 · Filter by author anton-trunov opened on Oct 18, 2020

• notation-incompatible-format warnings

  ilyasergey/pnp#23 · Filter by author anton-trunov opened on Oct 18, 2020

• newstuff/ directory is 5 years old :)

  ilyasergey/pnp#22 · Filter by author anton-trunov opened on Oct 18, 2020

• Cannot build pdf on TeX Live 2020 (macOS)

  ilyasergey/pnp#21 · Filter by author anton-trunov opened on Oct 18, 2020

• Update installation instructions for Coq 8.12 and recent versions of FCSL-PCM

  ilyasergey/pnp#20 · Filter by author anton-trunov opened on Oct 18, 2020