mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 03:19:57 +03:00
Update CHANGES
This commit is contained in:
parent
6de5c49077
commit
5173c8effe
@ -27,6 +27,9 @@
|
|||||||
is extracted from `.. code-block:: cryptol` and `.. sourcecode:: cryptol`
|
is extracted from `.. code-block:: cryptol` and `.. sourcecode:: cryptol`
|
||||||
directives.
|
directives.
|
||||||
|
|
||||||
|
* Add a syntax highlight file for Vim,
|
||||||
|
available in `syntax-highlight/daedalus.vim`
|
||||||
|
|
||||||
## Bug fixes
|
## Bug fixes
|
||||||
|
|
||||||
* Fix a bug in the What4 backend that could cause applications of `(@)` with
|
* Fix a bug in the What4 backend that could cause applications of `(@)` with
|
||||||
|
Loading…
Reference in New Issue
Block a user