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

[doc] Package chunks deferred to 0.12.

parent 8ffbda49
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
CHANGES.md
+ 2
− 2
View file @ 701f7384
...@@ -3,6 +3,8 @@ ...@@ -3,6 +3,8 @@
- Port to Coq 8.12 (@ejgallego) - Port to Coq 8.12 (@ejgallego)
- [addons] Update mathcomp to 1.11 (@ejgallego) - [addons] Update mathcomp to 1.11 (@ejgallego)
- Chunked packages: split large library addons into multiple chunks,
which are loaded on demand. (@corwin-of-amber)
# JsCoq 0.11 "<-lib->" # JsCoq 0.11 "<-lib->"
----------------------------------------- -----------------------------------------
...@@ -32,8 +34,6 @@ ...@@ -32,8 +34,6 @@
- Bump js_of_ocaml to 3.6.0 (@ejgallego) - Bump js_of_ocaml to 3.6.0 (@ejgallego)
- More accurate error location marker (@corwin-of-amber) - More accurate error location marker (@corwin-of-amber)
- Chunked packages: split large library addons into multiple chunks,
which are loaded on demand. (@corwin-of-amber)
# JsCoq 0.10 "((())((()()(()))((()()))))" # JsCoq 0.10 "((())((()()(()))((()()))))"
----------------------------------------- -----------------------------------------
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment