Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
3666c879
Commit
3666c879
authored
Jan 23, 2020
by
POTTIER Francois
Browse files
Tiny tweaks in CHANGES.
parent
56f02cc8
Pipeline
#115856
passed with stages
in 25 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
CHANGES.md
View file @
3666c879
...
...
@@ -7,11 +7,11 @@
disappears. The command line switch
`--suggest-ocamlfind`
is deprecated
and causes Menhir to print
`false`
.
*
Menhir is now built and installed by dune. This should make life easier
for developers: in particular,
`make test`
and
`make speed`
can be
run
straight away and do not requiring installing Menhir first. This should
also make compilation much faster on multi-core machines. (Contributed
by
Nicolás Ojeda Bär, to whom many thanks are due.)
*
Menhir is now built and installed by
`
dune
`
. This should make life easier
for
Menhir's
developers: in particular,
`make test`
and
`make speed`
can be
run
straight away and do not requiring installing Menhir first. This should
also make compilation much faster on multi-core machines. (Contributed
by
Nicolás Ojeda Bär, to whom many thanks are due.)
## 2019/09/24
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment