Skip to content
Snippets Groups Projects
Unverified Commit d6f69ac8 authored by Emilio Jesus Gallego Arias's avatar Emilio Jesus Gallego Arias
Browse files

[doc] Nit

parent 75cdc918
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
etc/notes/announce-0.11.md
+ 1
− 1
View file @ d6f69ac8
......@@ -5,7 +5,7 @@ Dear Coq users and developers,
we are happy to announce the release of jsCoq 0.11.0, based on Coq 8.11.
Since jsCoq 0.9, the 0.11 version does include numerous improvements
and fine tuning, as well as all the changes from upstream Coq.
and fine tunings, as well as all the changes from upstream Coq.
Highlights since 0.9 are:
......
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