Commit d778d148 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Set the date in CHANGES. Ready for release.

parent a00382ee
# Changes # Changes
## 2020/XX/XX ## 2020/02/10
* Re-implement Menhir's default algorithm for constructing LR(1) automata, * Re-implement Menhir's default algorithm for constructing LR(1) automata,
namely Pager's algorithm. This closes issue #21 (reported by Andrej Bauer), namely Pager's algorithm. This closes issue #21 (reported by Andrej Bauer),
......
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