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
-----------------------------------------------------------------------------
4975
Age (days ago)
4975
Last active (days ago)
0 comments
1 participants
participants (1)
-
ciaoï¼ clip.dia.fi.upm.es