| 12345678910111213 |
- --- Isabelle2012-orig/etc/settings 2012-05-23 03:07:38.000000000 +1000
- +++ Isabelle2012/etc/settings 2012-05-27 12:43:36.209715015 +1000
- @@ -62,8 +62,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)"
-
-
- ###
|
