Makefile revision 77a65251ee036c6aaf09c2775315a4ee24259fbd
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maedertree 77a65251ee036c6aaf09c2775315a4ee24259fbd:
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maeder
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederATC/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederCASL/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederCommon/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederComorphisms/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederCspCASL/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederGUI/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederHasCASL/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederHaskell/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederINSTALL
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederLICENCE.txt
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederLIZENZ.txt
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederLogic/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederLottery/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederMakefile
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederModal/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederProofs/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederREADME
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederReleaseMakefile
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederStatic/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederSyntax/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian MaederToHaskell/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederclean.lst
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederclean.sh
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederdoc/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederdocs/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederghc/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederhaterm-1.0/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederhetcats/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederhets.hs
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederhugs/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maedermini/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maedertest/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederutils/
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maederversion_nr
3fa78cc4ca8d77d7aa06b0d907d3abd809c96666Christian Maeder