[jhc] darcs patch: use quoteName mechanism to pre-rename ce... (and 1 more)

6 Feb 2012


      Sun Feb  5 16:57:46 PST 2012  John Meacham 
  * use quoteName mechanism to pre-rename certain names, fix class instance namespace bug

Sun Feb  5 18:28:10 PST 2012  John Meacham 
  * seperate --stop parameter from compilation mode