Commit 0a093ebc authored by fpottier's avatar fpottier
Browse files

Added a CHANGES entry for JH's latest commit.

git-svn-id: svn+ssh:// 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
parent 1403e3d0
In the Coq backend, use ' instead of _ as separator in identifiers.
Also, correct a serious bug that was inadvertently introduced on
2013/03/01 (r319).
Lexer fix so as to support an open variant type [> ...] within
a %type<...> declaration.
Markdown is supported
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