Cross Reference: /hets/DFOL/Makefile

	Makefile revision 5305


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
tree 5305:

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