tree 7feac39f792f587cffdc8b63b0e7c5a7d2de292e:

CASL/

Common/

CspCASL/

GUI/

HasCASL/

Haskell/

Logic/

Lottery/

Makefile

Modal/

Static/

Syntax/

ToHaskell/

doc/

ghc/

haterm-1.0/

hetcats/

hugs/

mini/

test/

utils/

version_nr