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: Giovanni Piredda <address@hidden>
To: address@hidden
Subject: Re: How to display page numbers out of total pages : "3/5, 4/5 etc..."
Date: Sat, 23 May 2020 14:03:02 +0200

On 19.05.20 07:20, TeXmacs wrote:

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

I am convinced I have seen the webpage with the examples (including the source files if I remember well) but I do not find it now (I searched through https://www.texmacs.org/joris/main/joris.html). I would like to link to it from the Wikipedia page (I think it fits in the section "External links"); could you write here the address?

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