Annotated goal does not show the associated formula but text only

normativeai / frontend

GNU General Public License v3.0

6 stars 3 forks source link

Annotated goal does not show the associated formula but text only #25

Closed shaolintl closed 5 years ago

shaolintl commented 5 years ago

When annotating a goal, only the selected text is shown and not the generated DL* formula. It would be good to see the result as is the case in the assumptions.