* Re: winOcaml
[not found] <BMSMTP9013363530a0384552@dpcmail.itg.ti.com>
@ 1998-07-27 19:15 ` Gang CHEN
0 siblings, 0 replies; only message in thread
From: Gang CHEN @ 1998-07-27 19:15 UTC (permalink / raw)
To: Norman Davis; +Cc: coq, caml
Norman Davis wrote:
>
> Hi,
>
> I'm having a lot of fun using WinOcaml. One thing I noticed is that whenever
> I select colorize parentheses, WinOcaml locks up.
I am glad to know that you are using WinOcaml.
The menu "Colorize parentheses" appear in both WinOcaml and WinCoq.
I develop this function mainly for using it in Coq, since the output
from Coq often contain large number of parenthesis.
But it is still an experimental feature. The intention is to use it
only in the output window. The expected usage is to select
a region and press "Colorize parehthese". Then the context would be
more readable. You had better not to use it in the Editor window.
Nevertheless, I have never found that this function will lock
WinOcaml. Would you show me in more detail about your operations?
Thank you for your experimentation. Your further questions and
remarks are welcome.
Gang Chen
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1998-07-28 0:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <BMSMTP9013363530a0384552@dpcmail.itg.ti.com>
1998-07-27 19:15 ` winOcaml Gang CHEN
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).