Makefile revision ebde431fb3ce536c8bc397fcfc610ac6f92e3be4
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedertree ebde431fb3ce536c8bc397fcfc610ac6f92e3be4:
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian MaederATC/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCommon/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederComorphisms/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCspCASL/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederGUI/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederHasCASL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederHaskell/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederINSTALL
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederIsabelle/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederLICENCE.txt
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederLIZENZ.txt
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederLogic/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederLottery/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederMakefile
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederModal/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederProofs/
35db0960aa2e2a13652381c756fae5fb2b27213bChristian MaederREADME
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederReleaseMakefile
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederStatic/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederSyntax/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederToHaskell/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.lst
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.sh
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederdoc/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederdocs/
99f16a0f9ca757410960ff51a79b034503384fe2Christian Maederghc/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederhaterm-1.0/
99f16a0f9ca757410960ff51a79b034503384fe2Christian Maederhetcats/
6e5180855658f12f9059d9041f447bf0935de344Christian Maederhets.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederhugs/
8a1f427564a5ae2db32332512237ef645289c34dChristian Maedermini/
76647324ed70f33b95a881b536d883daccf9568dChristian Maedertest/
76647324ed70f33b95a881b536d883daccf9568dChristian Maederutils/
76647324ed70f33b95a881b536d883daccf9568dChristian Maederversion_nr
1865083b72c1307e9040d78c2743abd5a54ee260Christian Maeder