Makefile revision e1905890322767ae24c4594d80e31877037f4055
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertree e1905890322767ae24c4594d80e31877037f4055:
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian MaederATC/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederCASL/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCommon/
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederComorphisms/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCspCASL/
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederGUI/
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederHasCASL/
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederHaskell/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederLICENCE.txt
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederLIZENZ.txt
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederLogic/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederLottery/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederMakefile
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederModal/
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian MaederProofs/
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian MaederStatic/
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian MaederSyntax/
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian MaederToHaskell/
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian Maederdoc/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maederghc/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maederhaterm-1.0/
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederhetcats/
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederhets.hs
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian Maederhugs/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maedermini/
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maedertest/
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaedertestUnusedImport.sh
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maederutils/
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14Christian Maederversion_nr
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maeder