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: Nicola Mingotti <address@hidden>
To: François Poulain <address@hidden>
Cc: TeXmacs <address@hidden>
Subject: Re: [TeXmacs] Help on starting a new plugin
Date: Mon, 4 Apr 2016 10:23:16 +0200

ops, I my TeXmacs menus there is not

Tools -> Update -> Plugins.

Only:

Tools -> Update -> Styles

Tools -> Update -> Inclusions

2016-04-04 9:43 GMT+02:00 François Poulain <address@hidden>:

Hi,

Le Sun, 03 Apr 2016 03:59:53 +0200,
"Nicola Mingotti" <address@hidden> a écrit :

> Do you have any idea of what i'm missing ?

What if you refresh plugin cache using Tools->Update->Plugins ?

François

--
François Poulain <address@hidden>

Ce n'est pas la souffrance de l'enfant qui est révoltante en elle-même,
mais le fait que cette souffrance ne soit pas justifiée. La souffrance
use l'espoir et la foi. -+- 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.