baum

diff examples/sum3input_v2.baum @ 58:f5f06d6f62b3

made Makefile much simpler (installs now to /usr/local)
author meillo@marmaro.de
date Wed, 25 Jun 2008 11:09:14 +0200
parents 96e2d58bc346
children
line diff