texmacs-users - Re: How to display page numbers out of total pages : "3/5, 4/5 etc..."

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: How to display page numbers out of total pages : "3/5, 4/5 etc..."

From: TeXmacs <address@hidden>
To: address@hidden
Subject: Re: How to display page numbers out of total pages : "3/5, 4/5 etc..."
Date: Tue, 19 May 2020 07:20:16 +0200

Dear Felix,

On Mon, May 11, 2020 at 02:43:03PM +0200, Félix Faisant wrote:
> If enough of you think it is a good idea, I may set up something like this.

Please feel free to start something like this.

The main difficulty is how to tag the documents in such a way to
make it easy for people to find the example they are looking for.

By the way, my personal website contains lots of examples.

Best wishes, --Joris

How to display page numbers out of total pages : "3/5, 4/5 etc...", Nicolas Chouvalidzé, 05/04/2020
- Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Massimiliano Gubinelli, 05/04/2020
  - Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Massimiliano Gubinelli, 05/04/2020
    - Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Massimiliano Gubinelli, 05/04/2020
      - Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Frank, 05/04/2020
        
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Massimiliano Gubinelli, 05/04/2020
        
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Alvaro Tejero Cantero, 05/04/2020
        
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Nicolas Chouvalidzé, 05/04/2020
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Félix Faisant, 05/11/2020
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", TeXmacs, 05/19/2020
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Giovanni Piredda, 05/19/2020
        
        Re: How to display page numbers out of total pages : "3/5, 4/5 etc...", Giovanni Piredda, 05/23/2020

Archive powered by MHonArc 2.6.19.