Subject: mailing-list for TeXmacs Users
List archive
From : Nirmal Govind <address@hidden>- To: address@hidden
- Subject: Re: removing packages, pdf fonts
- Date: Wed, 03 Apr 2002 13:51:38 -0500
AFAIK, there is no user interface support for removing individual packages.
When you reselect the document style (Document->style menu), all used
packages are dropped. You can then use the "Document->use package" menu
again for all the packages but the one you wanted to remove.
Great.. that works... thanks a lot David..
nirmal
- removing packages, pdf fonts, Nirmal Govind, 04/01/2002
- Re: removing packages, pdf fonts, Adam Warner, 04/01/2002
- Re: removing packages, pdf fonts, David Allouche, 04/01/2002
- Re: removing packages, pdf fonts, Joris van der Hoeven, 04/01/2002
- Re: removing packages, pdf fonts, Nirmal Govind, 04/02/2002
- Re: removing packages, pdf fonts, David Allouche, 04/02/2002
- Re: removing packages, pdf fonts, Nirmal Govind, 04/03/2002
- Re: removing packages, pdf fonts, Joris van der Hoeven, 04/04/2002
- Re: removing packages, pdf fonts, David Allouche, 04/05/2002
- Re: removing packages, pdf fonts, David Allouche, 04/02/2002
- Re: removing packages, pdf fonts, Nirmal Govind, 04/02/2002
- Re: removing packages, pdf fonts, Joris van der Hoeven, 04/01/2002
- Re: removing packages, pdf fonts, David Allouche, 04/01/2002
- Re: removing packages, pdf fonts, Adam Warner, 04/01/2002
Archive powered by MHonArc 2.6.19.