1. 2012-07-25 [1] hg: jep/jeps: 136: Updates for Enhanced Verification openjdk-j keith.mcguiga 2. 2012-07-09 [1] hg: jep/jeps: 160: correct state & scope openjdk-j john.r.rose a 3. 2012-07-07 [1] hg: jep/jeps: 160: incorporate initial feedback openjdk-j john.r.rose a 4. 2012-07-06 [1] hg: jep/jeps: 160: Lambda-Form Representation for Met openjdk-j mark.reinhold