texmacs-users - Re: [TeXmacs] Help on starting a new plugin

Subscribers: 415
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

Re: [TeXmacs] Help on starting a new plugin

From: François Poulain <address@hidden>
To: address@hidden
Cc: Nicola Mingotti <address@hidden>
Subject: Re: [TeXmacs] Help on starting a new plugin
Date: Mon, 4 Apr 2016 10:36:34 +0200

Le Mon, 4 Apr 2016 10:23:16 +0200,
Nicola Mingotti <address@hidden> a écrit :

> ops, I my TeXmacs menus there is not
> Tools -> Update -> Plugins.
> Only:
> Tools -> Update -> Styles
> Tools -> Update -> Inclusions

iirc I added it 2 years ago. :)

By the way, you can also launch TeXmacs with the -delete-plugin-cache
option.

François

--
François Poulain <address@hidden>
[le dandy] joue sa vie, faute de pouvoir la vivre.
-+- Albert Camus, L'homme révolté -+-

[TeXmacs] Help on starting a new plugin, Nicola Mingotti, 04/03/2016
- Re: [TeXmacs] Help on starting a new plugin, François Poulain, 04/04/2016
  - Re: [TeXmacs] Help on starting a new plugin, Nicola Mingotti, 04/04/2016
    - Re: [TeXmacs] Help on starting a new plugin, François Poulain, 04/04/2016
      - Re: [TeXmacs] Help on starting a new plugin, Nicola Mingotti, 04/04/2016
        
        Re: [TeXmacs] Help on starting a new plugin, François Poulain, 04/04/2016

Archive powered by MHonArc 2.6.19.