17 Jan
2005
17 Jan
'05
7:30 p.m.
I think it's emacs mode - at least it is inside emacs if that is what you mean. I'm running 'emacs -f ciao'.
OK, we will give it some thought and check a couple of things: there is a way to do it, but it may confuse the environment and the debugger may or may not work (we will check). On the other hand it looks like something you may want to do and it should be not too hard to fix. --Manuel
--
-------------------------------------------------------------------------------
herme(a)fi.upm.es | Manuel Hermenegildo
+34-91-336-7435 (Work) | Facultad de Informatica
+34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid
http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN
-------------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------