onto-debugger.md

@@ -21,6 +21,7 @@ For this document we are using [our example ontology](/uploads/f100242ac5e8c6558
 
 #### The Exquisite Ontology Debugging Tab
 Open the Exquisite Ontology Debug Tab (*Exquisite Debugger -> Open Exquisite Ontology Debug Tab*).
+
 ![debugger](/uploads/b18b3ea12f8ee4e7e14b07676abbc080/debugger.PNG)
 
 #  Diagnoses
@@ -39,6 +40,7 @@ Next let us see what option we do have for the diagnoses search. Select *Exquisi
 Once you set up the preferences, you can start the search by clicking the *Search Diagnoses* button. Note that the process might take a while for large ontologies. Currently we are working on a design of a window informing you about the progress  of the search. 
 
 In our example we will get these diagnoses:
+
 ![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
 
 _Please note_: when you want to select another reasoner for diagnoses calculation you have to choose *Exquisite Debugger->Options* once to make the reasoner selection effective (known bug).
@@ -65,4 +67,4 @@ If we have set the options and did get some diagnoses, we can press the *Get Que
 ![queries](/uploads/a3d1a3f3663893e27ee39c34c915bd65/queries.PNG)
 
 The expert can now tell, if the axiom is entailed (+ sign) or not entailed (- sign). This feature and the Get Alternative Query and the Commit Buttons are not implemented yet.
-Get Alternative Query and commit are 
\ No newline at end of file
+Get Alternative Query and commit will be implemented soon.
\ No newline at end of file