Makefile revision e593b89bfd4952698dc37feced21cefe869d87a2
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik Luecketree e593b89bfd4952698dc37feced21cefe869d87a2:
34964d30438020ed5219478bbd82b57291850e86Dominik Luecke
34964d30438020ed5219478bbd82b57291850e86Dominik LueckeATC/
05a206508bc898f87fe6ab6e069814df3c29d303Dominik LueckeCASL/
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeCommon/
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeComorphisms/
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeCspCASL/
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeGUI/
05a206508bc898f87fe6ab6e069814df3c29d303Dominik LueckeHasCASL/
05a206508bc898f87fe6ab6e069814df3c29d303Dominik LueckeHaskell/
841716179ae865e8d61e4595b58965ede2722cdfDominik LueckeINSTALL
841716179ae865e8d61e4595b58965ede2722cdfDominik LueckeIsabelle/
841716179ae865e8d61e4595b58965ede2722cdfDominik LueckeLICENCE.txt
34964d30438020ed5219478bbd82b57291850e86Dominik LueckeLIZENZ.txt
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeLogic/
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeLottery/
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeMakefile
1fb981ffeaa43aff14d25dc89aa0139d4929282dDominik LueckeModal/
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeProofs/
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeREADME
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeReleaseMakefile
841716179ae865e8d61e4595b58965ede2722cdfDominik LueckeStatic/
5406d70d63c7c843823cda85d3a3304c432e9f2aDominik LueckeSyntax/
34964d30438020ed5219478bbd82b57291850e86Dominik LueckeTest.hs
ToHaskell/
clean.lst
clean.sh
doc/
docs/
ghc/
haterm-1.0/
hetcats/
hets.hs
hugs/
ideas
mini/
test/
todo
utils/
version_nr