@@ -1,13 +1,16 @@
11
22## Tool Updates
33
4−+ New javascript code generator that uses an higher level intermediate
4++ New JavaScript code generator that uses an higher level intermediate
55 representation.
6−
6+
7++ Various optimizations of the novel JavaScript code generator to make
8+ its results fast.
9+
710+ Names are now annotated with their representations over the IDE
811 protocol, which allows IDEs to provide commands that work on special
9− names that don't have syntax, such as case block names
10−
12+ names that don't have syntax, such as case block names.
13+
1114
1215# New in 1.0
1316