1 2 3 4 5 6 7 8 9 10
bin/maude %%FULL_MAUDE%%%%DATADIR%%/full-maude%%FULL_MAUDE_VER%%.maude %%DATADIR%%/linear.maude %%DATADIR%%/machine-int.maude %%DATADIR%%/metaInterpreter.maude %%DATADIR%%/model-checker.maude %%DATADIR%%/prelude.maude %%DATADIR%%/socket.maude %%DATADIR%%/term-order.maude @dirrm %%DATADIR%%