@@ -22,12 +22,15 @@ User visible changes:
2222* Added System.Concurrency modules
2323* Added 'postulate' declarations
2424* Allow type annotations on 'let' tactic
25+* EXPERIMENTAL JavaScript generation, with --javascript option
2526
2627Internal changes:
2728
2829* Separate inlining methods at compile-time and run-time
2930* Fixed nested parameters blocks
30−* Improve efficiency of elaborator by only normalising when necessary
31+* Improve efficiency of elaborator by:
32+ - only normalising when necessary
33+ - reducing backtracking with resolving ambiguities
3134* Better compilation of case trees
3235
3336New in 0.9.5: