git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Update CHANGELOG
commit
2699ce128be54f5f012f070c89617bef8ca673b5
author
Edwin Brady
<ecb10@st-andrews.ac.uk>
date
Tue 23 Oct 2018, 10:16
(8 years ago)
parent
5f22426
1 file changed
+2
−2
compare with master
unified
split
CHANGELOG.md
+2
−2
CHANGELOG.md
+2
−2
@@ -1,9 +1,9 @@
1
−
# New in
next release
1
+
# New in
1.3.1
2
2
3
3
## Tool updates
4
4
+ Fixes for building with GHC 8.6
5
5
+ Fix for megaparsec update
6
−
6
+
+ Some fixes for memory allocation issues in the C back end
7
7
8
8
# New in 1.3.0
9
9
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list