janpolowinski/rvl — pull request #93 by janpolowinski (2014-11-26 09:57:42+00:00)
Title: Editing with external editor

setting up a service to run a vis process based on files editable by an external editor, prepare new rvl files for better representation in topbraid, improve simple web UI