Editing with external editor

janpolowinski / rvl

RVL language

Other

2 stars 3 forks source link

Editing with external editor #93

Closed janpolowinski closed 9 years ago

janpolowinski commented 9 years ago

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