Skip to content

Commit

Permalink
changelog entry
Browse files Browse the repository at this point in the history
  • Loading branch information
@glguy
glguy committed Dec 20, 2024
1 parent c9719a5 commit a49bcf5
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,10 @@
* The REPL properly supports tab completion for the `:t` and `:check` commands.
([#1780](https://github.com/GaloisInc/cryptol/issues/1780))

* Add support for incrementally loading projects via cryptol's `--project`
flag as documented in the reference manual.
([#1641](https://github.com/GaloisInc/cryptol/issues/1641))

# 3.2.0 -- 2024-08-20

## Language changes
Expand Down

0 comments on commit a49bcf5

Please sign in to comment.