tree aad513bd17adef0ab6a8b5577f70bacc89089f15
parent 22a00c64fa702d406b5de9a0b872d2ba163279f3
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1272293791 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1272293791 +0000

Tagging the first milestone release: 0.7.0M1.