|
|
#option add "*message*Font" $TextFont | #option add "*message*Font" $TextFont |
#option add "*list*Font" $TextFont | #option add "*list*Font" $TextFont |
| |
if {[file exists /vmlinuz]} { |
set TextFont "*6x10*" |
set TextFont "*6x10*" |
|
if {[file exists /home/luis/Yap94/linux]} { |
if {[file exists /usr/lib/Yap]} { |
set homeyap /home/luis/Yap94/linux |
set homeyap /usr/lib/Yap |
} else { |
|
set homeyap . |
|
} |
|
set PrologCommand "$homeyap/yap $homeyap/startup -c localhost $service $YapOptions" |
|
set SolarisBug 0 |
|
} else { | } else { |
set PrologCommand "ny -h8000 -s1000" |
set homeyap . |
set SolarisBug 1 |
|
} | } |
| |
|
set PrologCommand "yap $homeyap/startup -c localhost $service $YapOptions" |
|
set SolarisBug 0 |
|
|
| |
| |
set MaxHistory 100 | set MaxHistory 100 |