Programming-Guidelines.txt revision af1cb109bce240bcafe3823df022d6088cbfc438
a530dde7009b0a808300c420def741354a4d13d2Martin Kühltree af1cb109bce240bcafe3823df022d6088cbfc438:
a530dde7009b0a808300c420def741354a4d13d2Martin Kühl
a530dde7009b0a808300c420def741354a4d13d2Martin KühlATC.hs
a530dde7009b0a808300c420def741354a4d13d2Martin KühlATC/
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuCASL.hs
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCASL/
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCASL_DL.hs
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCASL_DL/
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCOL.hs
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCOL/
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCoCASL.hs
a530dde7009b0a808300c420def741354a4d13d2Martin KühlCoCASL/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoCommon.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoCommon/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoComorphisms.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoComorphisms/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoCspCASL.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoCspCASL/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoDriver.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoDriver/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoGUI.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoGUI/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoHasCASL.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoHasCASL/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoHaskell.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoHaskell/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoHatchet.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoHatchet/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoHets-Haddock-Prologue.txt
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoINSTALL
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoIsabelle.hs
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoIsabelle/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoLICENCE.txt
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoLIZENZ.txt
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoLogic.hs
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoLogic/
b9840e4ee6fda6e42fa4ee9f337482ccc4839a39Adrián RiescoLottery/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoMakefile
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoModal.hs
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoModal/
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoOWL_DL.hs
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoOWL_DL/
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoProofs.hs
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoProofs/
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoREADME
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoReleaseMakefile
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoSPASS.hs
223be434693e8c97e2522ac19155a284b3536035Adrián RiescoSPASS/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoStatic.hs
51c15129e8118fed5c33c334f8df82619ce98e7dAdrián RiescoStatic/
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián RiescoSyntax/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoTaxonomy.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoTaxonomy/
0f35e410ce3d3202f6769e9d139ad26d1de69b8eAdrián RiescoTest.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoToHaskell.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián RiescoToHaskell/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescoclean.lst
6d498b6f56ed9f71cced898b6c42fb48f6e60583Adrián Riescoclean.sh
6e121321775373fe11161d23c541437456df19b4Adrián Riescodoc/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescodocs/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescofgl/
6e121321775373fe11161d23c541437456df19b4Adrián Riescoghc/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescohaterm-1.0/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescohets.hs
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescohugs/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescohxt/
aea9000fc94442cbfc92596f4264473c0fce51e4Adrián Riescoideas
d72e314a1952b4418fb1c98b17dbab0d16bba585Adrián Riescoinstall.sh
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescomini/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescotest/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescotodo
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescoutils/
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riescoversion_nr
5318901bb69bf247e0f341312c800ba4ea87e46bAdrián Riesco