Dear All,
Please let the rest of the partners know as soon as your tool is
installed.
The latest version of ciao and ciaopp are already installed. Since in
order to use ciaopp the best thing is to start an emacs on clip, if
remote windows are too slow there are two possibilities:
- Open emacs in text mode (just run 'emacs -nw' on clip from a
terminal). This has the important disadvantage that you cannot use
the emacs icons nor menus.
- Connect to clip using VNC. If someone is interested in this please
let us know and we will set up things for this.
Best regards,
The UPMers
--
===============================================================
| German Puebla |
http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe asap-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe asap-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> asap-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages:
http://www.clip.dia.fi.upm.es/Mail/asap-users/
-----------------------------------------------------------------------------