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 26205 499f08293680
parent 25970 9053fd546501
child 26212 225b40bf36a7 
--- a/etc/settings	Wed Mar 05 21:48:15 2008 +0100
+++ b/etc/settings	Wed Mar 05 22:48:50 2008 +0100
@@ -80,8 +80,8 @@
 ###
 
 ISABELLE_LINE_EDITOR=""
+[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)"
 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)"
-[ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)"
 
 
 ###
isabelle