Cross Reference: /hets/debian/Makefile

	Makefile revision 5445
tree 5445:

AS.hs
CASL2OWL.hs
ColimSign.hs
ColonKeywords.hs
ColonKeywords.list
Conservativity.hs
CreateOWL.hs
DMU2OWL2.hs
Extract.hs
ExtractModule.hs
Function.hs
Keywords.hs
Keywords.list
Logic_OWL2.hs
MS.hs
MS2Ship.hs
ManchesterParser.hs
ManchesterPrint.hs
Medusa.hs
MedusaToJson.hs
Morphism.hs
OWL22CASL.hs
OWL22CommonLogic.hs
Parse.hs
ParseOWL.hs
ParseOWLAsLibDefn.hs
Print.hs
Profiles.hs
ProfilesAndSublogics.hs
Propositional2OWL2.hs
ProveFact.hs
ProvePellet.hs
ProverState.hs
Rename.hs
ShipSyntax.hs
Sign.hs
StaticAnalysis.hs
Sublogic.hs
Symbols.hs
Taxonomy.hs
Theorem.hs
Translate.hs
XML.hs
XMLConversion.hs
XMLKeywords.hs
java/
scripts/
tests/