Makefile revision 76b9b2974795a6fb31f242fd032de3ff66df6204
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree 76b9b2974795a6fb31f242fd032de3ff66df6204:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC.hs
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCMDL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCommon.hs
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederCommon/
ebde431fb3ce536c8bc397fcfc610ac6f92e3be4Christian MaederComorphisms.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederComorphisms/
76712faeb5ffeb3ff704404a34f2b8d284aa92bcChristian MaederConstraintCASL/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichCspCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASLProver.hs
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederCspCASLProver/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederDFOL/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederDMU/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederDriver/
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichExtModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederExtModal/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederGMP/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederGUI.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHets-Haddock-Prologue.txt
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus LuettichHets.cabal
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederINSTALL
b0294d73dcefc502ddaa13e18b46103a5916971fTill MossakowskiInterfaces/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
77a65251ee036c6aaf09c2775315a4ee24259fbdJorina Freya GerkenIsabelle/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLIZENZ.txt
ed9207cf24e96b0d6f59985822054ae28cb69b2eChristian MaederLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaude/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModifications/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOMDoc.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersOMDoc/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederOWL.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederOWL/
33d042fe6a9eb27a4c48f840b80838f3e7d98e34Christian MaederOmega/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederPGIP/
ce50fe187cdae64e75e510daafb78156280bdb91Christian MaederProofs.hs
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichProofs/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersPropositional.hs
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichPropositional/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederREADME.installer
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederRelationalScheme.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederRelationalScheme/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSearch/
ebe517300051f765f2ed856a789dd5613d681ab0Klaus LuettichSoftFOL.hs
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersSoftFOL/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersStatic.hs
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichStatic/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederSyntax/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederTaxonomy.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederTaxonomy/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederTemporal/
ce50fe187cdae64e75e510daafb78156280bdb91Christian MaederTest.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederVSE/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederatermlib/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederbuild.xml
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersclean.lst
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersclean.sh
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersdoc/
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus Luettichhets.hs
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus Luettichhets.in
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maederideas
c432483b64662e8db604a58758cd18ea7fa65659Christian Maedermini/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maederpretty/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maedersample-ghci-script
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maedertest/
e8d782e6e650b71a2b0ee8461fd8d9fa31525591Christian Maedertodo
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maederutils/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian Maedervar.mk
96ef2e46d048c357927f2795a40e9e66f21b85fbSonja Gröningversion_nr
8659594bb40eb5f3da5439692f0908300947191eSonja Gröning