home.md

-
 # Knowledge-base debugger (KBD)
 
 The KBD library implements a number of model-based diagnosis algorithms adapted to diagnosis of knowledge bases and logic programs. 
@@ -17,3 +16,6 @@ In general case the library can return many diagnoses as there may exists multip
 
 # Protégé Debugger Plug-in
 Is a GUI for the debugger library implemented as a Protégé plug-in. Please see  [Protégé Debugger Plug-in](onto-debugger) for more information.
+
+# Protégé Debugger Plug-in for Developers
+A [dokumentation](development-debugger) of how to set up the IDE for the development of Protégé Debugger Plug-In
\ No newline at end of file