Pasting from PDF can introduce spurious ctrl-M
When pasting from PDF on a Mac (and possibly elsewhere), there are spurious ctrl-M characters which mess up the parser. Remove.
Details
| Id: | ca0ea385450a3a152cc01829d27cb86d945aca1d | 
| Type: | bugfix | 
| Creation time: | 2010-05-16 19:31 GMT | 
| Creator: | Kasper Peeters <kasper.peeters@...> | 
| Release: | unassigned | 
| Component: | cadabra | 
| Status: | unstarted | 
Issue log
| 2010-05-16 19:31 GMT | Kasper Peeters <kasper.peeters@...> |