genetic reasoning in tptp
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
Merge branch 'relational-backend' of git@github.com:faustedition/app
preserve position of windows between pages
UI fixes
improve UI
added text and structure panels
add structure view to document