In branch, when I export a document to .tex I see the following at the top:
\batchmode \makeatletter [EMAIL PROTECTED]/afs/inria.fr/rocq/home/imara/lasgoutt/edit/ana-donnees/acp/Con so//}} \makeatother What is the reason for this weird (to remain polite) behaviour? JMarc
