22 Sep
2012
22 Sep
'12
1:41 p.m.
way is to use rlwrap around the top level:
rlwarp ciao
Sorry, I introduced a typo here, it is:
rlwrap ciao
Manuel H
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute
http://www.ciaohome.org / http://www.cliplab.org
-----------------------------------------------------------------------------