Cross Reference: /hets/debian/Makefile

	Makefile revision d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3
15176N/Atree d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3:
15176N/A
15176N/AATC.hs
14224N/AATC/
15176N/ACASL.hs
15176N/ACASL/
15176N/ACASL_DL.hs
15176N/ACASL_DL/
15176N/ACOL.hs
15176N/ACOL/
15176N/ACoCASL.hs
15176N/ACoCASL/
15176N/ACommon.hs
15176N/ACommon/
14224N/AComorphisms.hs
15176N/AComorphisms/
17330N/AConstraintCASL/
17330N/ACspCASL.hs
17330N/ACspCASL/
15775N/ADriver.hs
15775N/ADriver/
15775N/AGMP/
15775N/AGUI.hs
15775N/AGUI/
15775N/AHasCASL.hs
15775N/AHasCASL/
15775N/AHaskell.hs
15775N/AHaskell/
15775N/AHets-Haddock-Prologue.txt
15775N/AHets.cabal
17330N/AINSTALL
17330N/AInterfaces/
17330N/AIsabelle.hs
17330N/AIsabelle/
17330N/ALICENSE.txt
17330N/ALIZENZ.txt
17330N/ALogic.hs
17330N/ALogic/
17330N/ALottery/
15775N/AMakefile
15775N/AMakefile.installer
15775N/AMaude/
15775N/AModal.hs
15775N/AModal/
15775N/AModifications/
15775N/AOMDoc.hs
OMDoc/
OWL.hs
OWL/
PGIP.hs
PGIP/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
README
README.installer
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Temporal/
Test.hs
ToHaskell/
VSE/
build.xml
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
var.mk
version_nr