Makefile revision 1323eba62fc519b068f5aaec4f9d2be05ffabea9
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree 1323eba62fc519b068f5aaec4f9d2be05ffabea9:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederProofs/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederStatic/
5b818f10e11fc79def1fdd5c8a080d64a6438d87Christian MaederSyntax/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederToHaskell/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian Maederdoc/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian Maederghc/
88c800932dd7053322501ea2039d9f234be6866cKlaus Luettichhaterm-1.0/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichhetcats/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichhets.hs
fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowskihugs/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettichmini/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaedertestUnusedImport.sh
d67a33b40578beef2e255a274f89bb9c34aaf056Christian Maederutils/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maederversion_nr
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maeder