Re: Le manuel utilisateur de thot (suite ...)

Stéphane Bonhomme (Stephane.Bonhomme@imag.fr)
Tue, 20 May 1997 11:56:55 +0200

> Bonjour,
>
> Je n'est toujours pas eu de réponse quant à la recherche d'un manuel
> utilisareur de thot.Il existe pourtant, c'est sur, mais où ?. Est-ce une
> question stupide ?
>

Due to an installation mistake, the user manual of thot is missing in binary
release 2.1a. Please wait release 2.1b or get the source distribution, the
thot user manual is located in :
Thot/doc/thoteditor/Thotman-E.PIV.

> A part ca je remarque (avec amusement) que c'est thot qui génère les
> plus gros fichiers core de mon système (22 Mo en moyenne), et souvent
> avec le correcteur d'orthographe.
>

Can you please give more details about bugs in corrector.

> Autre chose : La génération de documents html comporte les problèmes
> suivants avec le schéma Rapport :
> - Les références à des sections de fichiers externes sont
> fausses. Elles se placent systématiquement au début du fichier.
> C'est dommage.
> - La bibliographie pert sa numérotation. C'est aussi dommage.

I will check that.

> Pendant que j'y suis : ya-t-il moyen de descendre l'autosave par défaut,
> 500 caractères, c'est un peu long à retaper.

We will add it in configuration file.

> Pour le reste, un immense bravo aux concepteurs et aux développeurs de
> thot. Il est vraiment imprésionnant. Mes documents sont beaux, (meme en
> html). La commande Undo ne me manque presque pas. Les copies actives
> c'est merveilleux et en plus ça marche sur des références externes.
>
> Bon courage pour la suite.

thanks a lot

> --
> gilles

Stephane.