mailing-list for TeXmacs Users

[Shivkumar Chandrasekaran <address@hidden>]

On 01/06/2011 03:31 PM, Joris van der Hoeven wrote:
> On Thu, Jan 06, 2011 at 03:02:10PM -0800, Shivkumar Chandrasekaran wrote:
> > Can anybody point me to some documentation on how to use TeXmacs
> > "Version" menu? Currently I am using RCS from the command line, but the
> > "Version" menu looks intriguing. Thanks,
>    F1 versioning tools RETURN
>    Help ->  Manual ->  Editing tools ->  Section 9
>
> Best, --Joris
Thanks! I should have looked more carefully.

--shiv--