add unit pragma text field to rodin database
attach unit pragma to variable instead of event
add description to input text field
add menu command for unit checking, no function yet
add unit pragma to constants
working on unit analysis command
add copyright notices
add missing dependency
fix dependency version
Merge branch 'develop' into feature/units
Merge branch 'develop' of github.com:bendisposto/prob into feature/units
try to add unit pragmas to the translation, infrastructural work
fix term send to prolog
refactoring, new command structure for unit analysis handler
working on analysis handler
Merge branch 'develop' of github.com:bendisposto/prob into feature/units
get unit analysis result (string form) from prolog and print on console
fix predicate name
switch plugin output to list, managed to get the resulting state printed on the console…..
add a second text field to output the inferred pragma