From: albert@cal.enst.fr (Luc ALBERT)
To: caml-list@inria.fr
Subject: Interlude
Date: Tue, 3 Jun 1997 14:29:03 +0200 [thread overview]
Message-ID: <v01540501afb99ebab993@[137.194.3.25]> (raw)
English at the end
**************
Voici une requete concernant Caml-Light de peu d'interet logique ou
fonctionnel...
Il est possible de dimensionner la fenetre graphique de Caml avec la commande
"open_graph nxm" sous Unix mais toujours pas sous Mac OS ou Windows.
Je milite pour que les differentes versions profitent des memes fonctionalites !
pourquoi pas a l'occasion de la sortie de la version 0.74 de Caml Light
(qui corrige des bugs
sur les images m'a t on dit) ?
Je pense exprimer l'avis d'un certains nombres d'enseignants qui utilisent
Caml-Light
pour l'initiation à l'informatique.
************
Here's a poor english version.
******************
I claim the right to use "open_graph nxm" in Caml_Light even if I don't
work under Unix system. Please implement this feature for Mac Os and
Windows (in those systems one still can't adjust the size of the graphic
window). Why not in 074 version of the language ?
Thanks
************************************************************
Luc ALBERT
Fenelon, Paris 6eme.
Tél. 01 43 94 38 32 e-mail: albert@cal.enst.fr
from outer space : 33 1 43 94 38 32
************************************************************
reply other threads:[~1997-06-03 15:19 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='v01540501afb99ebab993@[137.194.3.25]' \
--to=albert@cal.enst.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox