Commits

History for

Commits on Jan 16, 2024

Snap: add sertop command and explain how to create a manual alias in the docs
MSoegtropIMC
committed

Commits on Nov 15, 2023

Bumped release to 2023.11.0 and changed package picks from beta to release
MSoegtropIMC
committed

Commits on Aug 21, 2023

Version: updated Coq Platform version to 2023.03.0 and default pick to ~8.17~2023.08
MSoegtropIMC
committed

Commits on Aug 18, 2023

Doc: changed switch prefix from __coq-platform. to CP. (change was done before to shorten paths on Windows)
MSoegtropIMC
committed

Commits on Nov 28, 2022

Bumped version to 2022.09.1 + updated doc
MSoegtropIMC
committed

Commits on Oct 6, 2022

Bumped version to 2022.09
MSoegtropIMC
committed

Commits on Oct 3, 2022

Update Readme
MSoegtropIMC
committed

Commits on Jun 7, 2022

- Bumped release version to 2022.04.1
MSoegtropIMC
committed

Commits on Jan 26, 2022

Bumped release to 2022.01.0
MSoegtropIMC
committed

Commits on Nov 20, 2021

Use a consistent notation for the various version names
MSoegtropIMC
committed

Commits on Nov 14, 2021

Commits on Nov 2, 2021

README: updated system specific files to versions and user feedback
MSoegtropIMC
committed

Commits on Oct 18, 2021

Loading