Exactly, thanks very much,
Jos Koot
-Original Message-
From: Vincent St-Amour [mailto:stamo...@eecs.northwestern.edu]
Sent: jueves, 16 de junio de 2016 23:12
To: Jos Koot
Cc: 'Racket Users'
Subject: Re: [racket-users] special symbols in scribble
Hi Jos,
Is this what you had in mind?
Hi Jos,
Is this what you had in mind?
http://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html#%28part._.La.Te.X_and_.Te.X_inspired_keybindings%29
Vincent
On Thu, 16 Jun 2016 11:33:54 -0500,
Jos Koot wrote:
>
> special symbols in scribble
>
> Hi,
>
> Some days ago I encountered a nice
Hi all,
I'm in the process of adding a fancy GUI on top of a proof assistant
that should show the binding structure of extracted code in a manner
reminiscent of DrRacket's arrows. This is especially important because
the code extraction process makes use of the results of
make-syntax-introduc
Hi,
Some days ago I encountered a nice survey of how to put special symbols in a
scribble file,
such as the mathematical symbols for 'exists' , 'for all' and 'member of set'.
I think it was part of the scribble docs, I am not sure.
But now I can't find the survey. Have surfed a lot through the do
Your underlining example works very well for me.
It is nice to know that my way of coloring is not as stupid as I thought.
I am indeed rendering HTML files (well, scribble does that for me)
I'll study on the two pointers [1 ] and [2].
Thanks very much for your elaborated answer and your time,
Jos
On Tue, Jun 14, 2016 at 1:17 PM, Jos Koot wrote:
> It works, but may be there is a simpler way to color a word (or element)?
I'm not aware of a simpler way, though that is the same solution
others on the list have recommended for setting colors in a
renderer-independent way.
> Now I am looking f
6 matches
Mail list logo
