[z3-five] Branches

[Philipp von Weitershausen]

Hi,

now that Five 0.1 is released, here's a couple of questions regarding 
the branches:

a) Faassen agreed with having the dc-experiments branch be merged to the 
trunk. I suggest that Sidnei does so himself when he thinks he's ready 
(regarding unit tests etc.)

b) 0.1 was tagged which raises the question whether we still need the 
0.1 branch around. I don't see us releasing 0.1.1 or something like that...

c) Faassen, you merged your docfixes to the 0.1 branch and trunk, so we 
could get rid of the faassen-docfixes branch, too, right?

Cheers,

Philipp