Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 57439 0e41f26a0250
parent 56665 27778363775d
child 57441 ff534238d9b8 
--- a/etc/settings	Mon Jun 30 09:31:32 2014 +0200
+++ b/etc/settings	Mon Jun 30 09:43:44 2014 +0200
@@ -26,9 +26,7 @@
 ### Interactive sessions (cf. isabelle tty)
 ###
 
-ISABELLE_LINE_EDITOR=""
-[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)"
-[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)"
+ISABELLE_LINE_EDITOR="rlwrap"
 
 
 ###
isabelle