Makefile revision 89390a303afa9ca380fc9b878cffdd88667fdd25
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskitree 89390a303afa9ca380fc9b878cffdd88667fdd25:
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowski
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiATC/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiCASL/
e7eefd526faedd63acb8f91de5793368cfe67655Klaus LuettichCommon/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiCspCASL/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiGUI/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiHasCASL/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiHaskell/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiLogic/
e7eefd526faedd63acb8f91de5793368cfe67655Klaus LuettichLottery/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiMakefile
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiModal/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiStatic/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiSyntax/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskiToHaskell/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskidoc/
e7eefd526faedd63acb8f91de5793368cfe67655Klaus Luettichghc/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskihaterm-1.0/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskihetcats/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskihets.hs
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskihugs/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskimini/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskitest/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till MossakowskitestUnusedImport.sh
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskiutils/
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowskiversion_nr
91dd24480df03b2cca7c1645bb2866d7000dfdb1Till Mossakowski