--- a/etc/settings Tue Mar 08 19:29:56 2016 +0100
+++ b/etc/settings Tue Mar 08 20:02:46 2016 +0100
@@ -27,6 +27,13 @@
###
+### Interactive sessions (cf. isabelle console)
+###
+
+ISABELLE_LINE_EDITOR="rlwrap"
+
+
+###
### Batch sessions (cf. isabelle build)
###