xref/hets/config_de.properties

	config_de.properties revision 6318
tree 6318:

AbstractGraphView.hs
ConsistencyChecker.hs
ConsoleUtils.hs
GenericATP.hs
Glade/
GraphAbstraction.hs
GraphDisplay.hs
GraphLogic.hs
GraphMenu.hs
GraphTypes.hs
GtkConsistencyChecker.hs
GtkLinkTypeChoice.hs
GtkTextView.hs
GtkUtils.hs
HTkUtils.hs
ProofDetails.hs
ProofManagement.hs
ShowGraph.hs
ShowLibGraph.hs
ShowLogicGraph.hs
Taxonomy.hs
UDGUtils.hs
Utils.hs
cgi-files/
displayDependencyGraph.hs
doc/
hets_cgi.hs