Makefile revision bab2d88d650448628730ed3b65c9f99c52500e8c
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedertree bab2d88d650448628730ed3b65c9f99c52500e8c:
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maeder
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederATC.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederATC/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederAdl/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCASL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCASL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCASL_DL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCASL_DL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCMDL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCMDL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCOL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCOL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCSL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCoCASL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCoCASL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCommon.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCommon/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCommonLogic/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederComorphisms.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederComorphisms/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederConstraintCASL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederConstraints/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCspCASL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCspCASL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCspCASLProver.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederCspCASLProver/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederDFOL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederDMU/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederDriver.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederDriver/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederExtModal.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederExtModal/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederFpl/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederFramework.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederFramework/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederFreeCAD/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederGMP/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederGUI.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederGUI/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHasCASL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHasCASL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHaskell.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHaskell/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHets-Haddock-Prologue.txt
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHets.cabal
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederHolLight/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederINSTALL
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederInterfaces/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederIsabelle.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederIsabelle/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLF/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLICENSE.txt
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLIZENZ.txt
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLogic.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLogic/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederLottery/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederMakefile
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederMakefile.installer
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederMaude/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederModal.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederModal/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederModifications/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOMDoc.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOMDoc/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOWL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOWL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOWL2/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederOmega/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederPGIP/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederProofs.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederProofs/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederPropositional.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederPropositional/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederQBF/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederREADME
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederREADME.installer
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederRelationalScheme.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederRelationalScheme/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederReleaseMakefile
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederScratch.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederSearch/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederSoftFOL.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederSoftFOL/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederStatic.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederStatic/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederSyntax/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederTHF/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederTaxonomy.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederTaxonomy/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederTemporal/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederToHaskell/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian MaederVSE/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederatermlib/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederbuild.xml
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederclean.lst
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederclean.sh
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederdoc/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederhets.hs
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederhets.in
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederideas
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedermini/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederpretty/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederprogramatica
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedersample-ghci-script
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedertest/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedertodo
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederutils/
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maedervar.mk
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maederversion_nr
9ea14d8dc241ef7b0f0bbf1841046cc110433bc4Christian Maeder