Does anyone know how to allow TABs before and in comments without
destroying the intended function of Ciao mode?
If what you want is to insert a real tab you can do it by "quoting"it,
i.e., by typing "C-qTAB". Hope this helps!
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | IMDEA Software Institute
ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid
http://www.ciao-lang.org /
http://www.cliplab.org
-----------------------------------------------------------------------------