5 Feb
2009
5 Feb
'09
12:57 p.m.
- Which file should be altered:
a. /local/lib/ciao/ciao.el (I have installed ciao into /local) or the source file b. ....emacs-mode/ciao.el.body
b. ciao.el is built from ciao.el.body during installation.
If b. do you then do another make and make install?
yes!
- What are the .elc files. (Are they compiled from the corresponding
.el files?)
Yep, the (byte-)compiled versions of the .el files.
Btw, you may want to try the 1.13 distribution, which is already on the web site. We are interested in any feedback.
Cheers --Manuel H
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | Technical University of Madrid
ciao(a)clip.dia.fi.upm.es | University of New Mexico
http://www.cliplab.org / http://www.ciaohome.org
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
6300
Age (days ago)
6300
Last active (days ago)
0 comments
1 participants
participants (1)
-
ciaoï¼ clip.dia.fi.upm.es