5 Commits

Author	SHA1	Message	Date
Pedro	7ceaf2e9c1	improvements to frontend	2015-01-26 15:40:39 +01:00
Pedro	b262cf9fe6	improved frontend for benchmarking	2015-01-12 17:24:24 +01:00
Pedro	e7764eae7a	added execution of selected text to frontend	2015-01-07 14:02:14 +01:00
Pedro	b5aba646d8	support for execute without parameter list added	2015-01-06 19:20:52 +01:00
Pedro	bda8db57e4	minor changes to frontend	2014-12-15 13:19:12 +01:00