@@ -18,4 +18,4 @@ In the general case the library can return many diagnoses as there may exist mul
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 short [guide](development-debugger) of how to set up an IDE (IntelliJ IDEA) for the development of Protégé Debugger Plug-In
\ No newline at end of file
A short [guide](development-debugger) of how to set up an IDE [IntelliJ IDEA](https://www.jetbrains.com/idea/) for the development of Protégé Debugger Plug-In
