Skip to content
Snippets Groups Projects
Commit 0089ce06 authored by Shachar Itzhaky's avatar Shachar Itzhaky
Browse files

[meta] CHANGES entry for Docker refactoring.

parent b505f385
Branches
No related tags found
No related merge requests found
# jsCoq 0.15.0 "Go For Your Toad, or Similar"
------------------------------
# jsCoq 0.15.1 "Go For Your Toad, or Similar"
---------------------------------------
- Update to Coq 8.15.1 (@corwin-of-amber)
- Stabilized jsCoq SDK Docker image (@corwin-of-amber)
# jsCoq 0.15.0 "Steady State"
------------------------------
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment