1. 18 Nov, 2007 5 commits
  2. 17 Nov, 2007 5 commits
  3. 16 Nov, 2007 5 commits
  4. 19 Nov, 2007 3 commits
  5. 17 Nov, 2007 1 commit
  6. 16 Nov, 2007 9 commits
  7. 15 Nov, 2007 4 commits
  8. 14 Nov, 2007 7 commits
  9. 15 Nov, 2007 1 commit
    • simonpj@microsoft.com's avatar
      Make SpecConstr work again · a496c6a2
      simonpj@microsoft.com authored
      In a typo I'd written env instead of env', and as a result RULES are
      practically guaranteed not to work in a recursive group.  This pretty
      much kills SpecConstr in its tracks!
      
      Well done Kenny Lu for spotting this.  The fix is easy.
      
      Merge into 6.8 please.
      
      
      a496c6a2