[Texmacs-dev] Status of plugins in CVS

[Alvaro Tejero Cantero]

Anybody knows whether the plugins (by ddaa) in 
http://www.texmacs.org/cgi-bin/cvsweb.cgi/plugins/ aren't distributed 
with TeXmacs?

There seem to exist quite useful ones, such as smartspace, preventing 
unstructured use of spaces.


'Avlaro.