Subject: Editeurs pour Caml-Light et PC
To: caml-redistribution@margaux
Date: Thu, 24 Jun 1993 14:48:07 +0200 (MET DST)
[Note du mode'rateur:
Suite a` un crash disque, deux messages de la tribune ont e'te'
perdus. Les voici donc avec 2 mois de retard. Ils concernent tous les
deux l'e'dition sur PC et l'utilisation interactive de Caml Light.
Pierre Weis]
Subject: Editeurs pour Caml-Light et PC
To: caml-list@pauillac.inria.fr
From: Michel.Mauny@inria.fr (Michel Mauny)
Reply-To: Michel.Mauny@inria.fr
Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex, France
Phone: (+33) 1 39 63 57 96 -- Fax: (+33) 1 39 63 53 30
Suite a` une discussion re'cente dans cette mailing-liste concernant
les possibilite's d'e'dition sur PC *sans quitter* Caml-Light, Jean
Barrier, de Montpellier, a eu la gentillesse de nous faire parvenir un
e'diteur re'sidant fonctionnant sur PC. L'auteur de ces e'diteurs (en
fait, il y a plusieurs e'diteurs -- cf. ci-dessous), Bertrand Le
Guern, nous autorise a` l'utiliser librement pourvu que sa
documentation accompagne impe'rativement toute copie des programmes.
Ces e'diteurs sont disponibles avec la distribution de Caml-Light, sur
le server ftp.inria.fr, fichier /system/editors/red.zip (lien
symbolique dans /lang/caml-light/red.zip).
Ils sont aussi disponibles sur le server ftp du cem, a` Montpellier
(IP = 162.38.134.1), re'pertoire pub/pc/lang/utilitaires, avec une
petite notice sur leur utilisation avec Caml-Light. Vous trouverez un
extrait de cette notice a` la fin de ce message.
Toutefois, ce programme utilise 120Ko de me'moire, et peut ne pas
e^tre bien adapte' a` certaines configurations.
Pour info, voici la premie`re page (le'ge`rement reformatte'e) du
fichier _ed.doc, de'crivant sommairement ces diffe'rents e'diteurs.
Il va sans dire que nous de'clinons toute responsabilite' vis-a`-vis
de ces programmes, etc.
Michel Mauny
---------------------------------------------------------------------------
EDITEURS
Bertrand Le Guern
DOCUMENTATION de *ED.EXE
Cette documentation est commune aux e'diteurs *ED ( XED, ED, RED, RK ... )
Certaines rubriques ne s'appliquent pas a` tous.
Tous ces e'diteurs sont MULTIFICHIERS et MULTIFENETRES : ils peuvent e'diter
plusieurs fichiers simultane'ment dans des fene^tres inde'pendantes.
Ils offrent des possibilite's e'tendues d'e'dition et de manipulation
inter-fichiers.
Ils permettent d'e'diter des fichiers plus grands que la me'moire disponible.
*ED n'offrent pas de macros ce que font KEY.EXE et RK.EXE.
Sauf RED et RK qui sont re'sidants et par souci d'e'conomie de
me'moire, les caracte'ristiques physiques des fene^tres : taille,
position a` l'e'cran, couleur, bord ... sont modifiables et ces
fene^tres peuvent e^tre affiche'es en me^me temps.( Pour RED toutes
les fene^tres ont la me^me taille : tout l'e'cran ).
XED est la version offrant le plus de possibilite's d'e'dition.
ED est une version oriente'e vers la programmation, elle n'a pas de
possibilite's de dessin ni de mise en forme mais elle permet le lancement
de plusieurs programmes ( compilateur, assembleur ... ) et plus
ge'ne'ralement l'exe'cution de commandes varie'es qui peuvent
e^tre me'morise'es ou sauvegarde'es.
RED est une version plus limite'e en fonctions mais re'sidante.
RK est la version de RED incluant KEY. RK a tous les avantages de KEY et de
RED et il peut s'utiliser aussi pour conserver une aide re'sidante et la
recherche automatique dans le fichier en me'moire du mot sous le curseur
lors de l'appel.RK permet d'e'diter des fichiers de taille quelconque bien
qu'il soit re'sidant (il occupe environ 120K dont 55K d'espace de travail).
[Deuxie`me message]