Commit 5bbc031a authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typos.

parent 3d4dc823
......@@ -17,7 +17,7 @@ Core
Language
* numerous changes to syntax, see documentation appendix :x:
* `let function`, `let predicate`, `val function`, and `val predicate`
introduce symbols in both logic and programs
introduce symbols in both logic and programs
* added overloading of program symbols
* new contract clause `alias { <term> with <term>, ... }` :x:
* support for parallel assignment `<term>,... <- <term>,...`
......
......@@ -1637,7 +1637,7 @@ ALTERGOCMO = \
TRYWHY3CMO=lib/why3/why3.cma
TRYWHY3FILES=trywhy3.js trywhy3.html trywhy3.css \
README examples/ \
README.md examples/ \
trywhy3_custom.css gen_index.sh \
ace-builds/src-min-noconflict/ace.js ace-builds/src-min-noconflict/mode-why3.js \
ace-builds/src-min-noconflict/theme-chrome.js $(JS_MAPS)
......
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