Makefile revision f4505a64a089693012a3f5c3b1f12a82cd7a2a5a
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maedertree f4505a64a089693012a3f5c3b1f12a82cd7a2a5a:
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederHasCASL/
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederHaskell/
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederINSTALL
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederIsabelle/
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederLICENCE.txt
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederLIZENZ.txt
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederLogic/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederLottery/
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian MaederMakefile
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederModal/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichProofs/
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian MaederREADME
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederReleaseMakefile
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian MaederStatic/
4cb215739e9ab13447fa21162482ebe485b47455Christian MaederSyntax/
8ef75f1cc0437656bf622cec5ac9e8ea221da8f2Christian MaederTest.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichToHaskell/
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederclean.lst
74eed04be26f549d2f7ca35c370e1c03879b28b1Christian Maederclean.sh
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdoc/
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maederdocs/
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maederghc/
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maederhaterm-1.0/
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maederhetcats/
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maederhets.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhugs/
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maederideas
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederinstall.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
c3053d57f642ca507cdf79512e604437c4546cb9Christian Maedertest/
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maedertodo
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederutils/
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederversion_nr
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maeder