Cross Reference: /hets/Makefile

	Makefile revision 1351
tree 1351:

BuildingAnInstaller.tex
ConscheckerGUI.png
ConsistencyCheckingGUI.tex
IndexingExample.het
IndexingExample.tex
LNCS2960_297-298.pdf
Libraries.tex
LogicGraph.pdf
LogicGraph.ps
Programming-Guidelines.txt
ProofCommands.txt
SPASS-communications
SublogicGraph.pdf
UM.bib
UserGuide.tex
case.bib
casl.sty
cofi-ann.bib
cofibib.bib
collected_proposals.tex
copyUserGuide
dg2dg_translation
ed.sty
hets-motherboard.png
hets.bib
hets.fig
hets.tex
hets2007.pdf
hets2007.png
hets2007.ps
hs2isa.pdf
hs2isa.ps
hs2isa.tex
kl.bib
newmacros.tex
proofmanagement1.png
proofmanagement1.ps
spassGUI1.eps
spassGUI1.png