Merge branch 'master' of dragon:/home/dav/yacasl2
[YACASL2.git] / test / system / casl2 / opt_slaotd / cmd
1 cat ../../../../as/sum_10.casl
2 ../../../../casl2 -slatdo ../../../../as/sum_10.casl