git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
CHANGELOG
commit
b14918537819689f76214e2a506e6d3c1ca394b9
author
raichoo
<raichoo@googlemail.com>
date
Fri 18 Apr 2014, 22:59
(13 years ago)
parent
40ca338
1 file changed
+1
compare with master
unified
split
CHANGELOG
+1
CHANGELOG
+1
@@ -1,6 +1,7 @@
1
1
New in 0.9.13:
2
2
--------------
3
3
* IDE support for retrieving structured information about metavariables
4
+
* Experimental Bits support for JavaScript
4
5
5
6
New in 0.9.12:
6
7
--------------
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