Mentions légales du service

Skip to content
Snippets Groups Projects
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • d769da46 · Move [make view] into Makefile.demo and remove dune rule to build p...
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
POTTIER Francois's avatar
closed issue #78 "Put the demos/ directory in the tarball" at POTTIER Francois / menhir
POTTIER Francois's avatar
commented on issue #78 "Put the demos/ directory in the tarball" at POTTIER Francois / menhir

Thanks for this suggestion. The directory demos was omitted from the released tarballs because I didn't think it was important. It will be included...

POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
Julien Puydt's avatar
opened issue #78 "Put the demos/ directory in the tarball" at POTTIER Francois / menhir
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • a88cc35c · [make versions]: add 5.3.0.
POTTIER Francois's avatar
opened issue #77 "StackLangCheck: internal error" at POTTIER Francois / menhir
BOUR Frederic's avatar
opened merge request !38 "Prevent type mismatches in Table Backend with External Tokens" at POTTIER Francois / menhir
POTTIER Francois's avatar
closed issue #76 "Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01" at POTTIER Francois / menhir
Michael Soegtrop's avatar
opened issue #76 "Please pick the version you prefer for Coq 8.20 in Coq Platform 2025.01" at POTTIER Francois / menhir
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • 809af650 · Change to 4.14.2 in [make versions].
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • 895935a1 · *.opam: use uppercase WITH in license: fields.
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • 3b5b9535 · Saved and published documentation for release 20240715.
POTTIER Francois's avatar
pushed new tag 20240715 at POTTIER Francois / menhir
POTTIER Francois's avatar
pushed new branch release-branch-20240715 at POTTIER Francois / menhir
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • 031fc8ae · demos/coq-syntax-errors/Extraction.v: use [Set Extraction Output Di...
POTTIER Francois's avatar
pushed to branch master at POTTIER Francois / menhir
  • 8bfd87cc · Set today's date in both files CHANGES.md.
POTTIER Francois's avatar
commented on issue #75 "Add `Require Extraction` to Coq output" at POTTIER Francois / menhir

Well, we did have a few minor changes waiting to be released, so I think this is a good occasion.