tree 1179d7541204b048c7ff0c66d58cc4dde4a0e155
parent d66d824e99e0307330caf24b0d53b1e7fc3ca489
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1275309476 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1275309476 +0000

Milestone 3, variant that is compatible with Helios RC3