Makefile revision 25cc5fbba63f84b47e389af749f55abbbde71c8c
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree 25cc5fbba63f84b47e389af749f55abbbde71c8c:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENCE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLIZENZ.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
0898ff703a21cf78e18cc03e8fe5a3c6d1fc25c3Christian MaederMakefile
8e494181dee5cfc59ae494e4082c71edfde24f58Christian MaederModal/
b7839add0728fef3cbb28244373661db382f6588Christian MaederProofs/
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till MossakowskiStatic/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederSyntax/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian MaederToHaskell/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian Maederclean.lst
88c800932dd7053322501ea2039d9f234be6866cKlaus Luettichclean.sh
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederdoc/
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederghc/
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederhaterm-1.0/
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederhetcats/
8410667510a76409aca9bb24ff0eda0420088274Christian Maederhets.hs
8410667510a76409aca9bb24ff0eda0420088274Christian Maederhugs/
8410667510a76409aca9bb24ff0eda0420088274Christian Maedermini/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichtest/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichutils/
824125ad97b34671bd7ea72655967f46caeb0004Christian Maederversion_nr
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich