7 Commits (70f4e0742ed9e83b2fad3a05264f3f7cb2dc58fd)

Author	SHA1	Message	Date
Daniel Kolesa	d14c8f8593	update to latest ostd	2017-01-25 01:57:33 +01:00
Daniel Kolesa	da8120f5c8	repl cleanup	2016-10-05 21:33:59 +02:00
Daniel Kolesa	ce62593840	move idents/identmap into internal state	2016-09-12 20:04:59 +02:00
Daniel Kolesa	931f7294de	repl cleanup	2016-09-11 23:33:02 +02:00
Daniel Kolesa	fb8a793d66	allow SIGINT to interrupt infinite loops	2016-09-05 21:50:24 +02:00
Daniel Kolesa	6aca518614	re-expose command and add hints/completion for now at least with linenoise	2016-09-02 17:20:53 +01:00
Daniel Kolesa	9672a1091e	add support for several line editing approaches (pure stdin, linenoise, libedit, readline)	2016-09-01 17:50:02 +01:00