Author moritz
Recipients jendrik, malte, moritz
Date 2014-05-19.16:55:52
Used the suggested changes, with some modification to the numbers (allow initial
signs, and a leading dot).

Nearly done. Looks like I can get rid of the external dependency tree.hh.

Jendrik, could you run a few performance regression tests for me if I push the
code to some repository?

Btw, what is the current policy on the 'move' keyword? There are a few places in
parse tree transformation where this would be useful (but of course not necessary).
Date User Action Args
2014-05-19 16:55:52moritzsetmessageid: <>
2014-05-19 16:55:52moritzsetrecipients: + moritz, malte, jendrik
2014-05-19 16:55:52moritzlinkissue288 messages
2014-05-19 16:55:52moritzcreate