fix to aspic
fix findcompatible* REST API
temporary fix for the orphan premises being displayed
add comment
add missing parameter
change to the rules
fix method call (too many arguments)
Merge branch 'bucketnav'
use caes evaluator for the license analyser
use of caes for lican REST API
popup window once shared on MARKOS
statement editor
compact list in the outline view
Merge branch 'master' of https://github.com/carneades/carneades
Merge branch 'master' of https://github.com/carneades/carneades
in order to solve the argument editor issue, some changes must be done in the engine as the theory data structure is not properly constructed.