mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, Feb 06, 2007 at 01:13:28AM +0100, address@hidden wrote:
> i installed Dr geo (1.1.0 debian version) and hoped to find the plug-in
> in my texmacs version (1.1.0.6) as it used to be. But i can't find Dr
> Geo. Does anyone has a solution for this problem ?

I don't know; please ask the Dr. Geo people,
because they entirely maintain the TeXmacs plug-in.

> Since Joris installed some fonts in the cvs version, i followed the
> explanations given on texmacs cvs webpage. Since i never used cvs
> ( actually  i tried without success), i have a folder named src. What do
> i have to do in order to work with the cvs version ? Can i run two
> different versions of texmacs on my machine ?

The fonts are not on CVS. You should rather follow the instructions on

        http://www.texmacs.org/tmweb/download/fonts.en.html

Best wishes, Joris