increase size of text field
add output to disprover
Merge branch 'develop' into rodin3
update deps for rodin3