Makefile revision ac0bbbcb2774629bb87986e69cf53d3402c5f575
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancetree ac0bbbcb2774629bb87986e69cf53d3402c5f575:
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mance
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceATC/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceCASL/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceCommon/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceComorphisms/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceCspCASL/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceGUI/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceHasCASL/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceHaskell/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceLICENCE.txt
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceLIZENZ.txt
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceLogic/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceLottery/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceMakefile
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceModal/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceProofs/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceStatic/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceSyntax/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel ManceToHaskell/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Manceclean.lst
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Manceclean.sh
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederdoc/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Manceghc/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancehaterm-1.0/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancehetcats/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancehets.hs
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancehugs/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancemini/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mancetest/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Manceutils/
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Manceversion_nr
208e90d7731f07ade5b7a63f60ac33a2e847bf67Felix Gabriel Mance