I'm not sure about "squarer", but using `\boldsymbol` will get you bolder.
\usepackage{amsmath}
\RktSym{$\boldsymbol\lambda$}
(But I think the right answer is to use a font family with a lambda symbol.
I bet that's what Scribble does.)
On Wed, Aug 12, 2015 at 2:38 PM, Paul van der Walt wrote:
On Wednesday, August 12, 2015 at 12:54:10 PM UTC+1, Jay McCarthy wrote:
> On Tue, Aug 11, 2015 at 10:24 AM, Sean Kemplay wrote:
> > Hi All,
> >
> > Sending an http request through our corporate proxy works as follows for
> > http requests ->
> >
> > (define-values (x y z)
> > (http-sendrecv "10
On 2015-08-12 at 18:29, quoth Jens Axel Søgaard:
> How does Scribble typeset the lambda?
I was curious about that too. As far as i can see, it's something like
my first option was.
\newcommand{\RktSym}[1]{\inColor{IdentifierColor}{#1}}
...
\RktSym{$\lambda$}
Unfortunately, that render
On Wednesday, August 12, 2015 at 1:02:00 PM UTC-4, Juan Francisco Cantero
Hurtado wrote:
> On 08/12/2015 05:24 AM, Brian Adkins wrote:
> > I just installed 6.2.1 on a Linux VPS via the "Unix Source + Built
> > Packages", and the install went smoothly. I created a standalone executable
> > of a s
On 08/12/2015 05:24 AM, Brian Adkins wrote:
I just installed 6.2.1 on a Linux VPS via the "Unix Source + Built Packages",
and the install went smoothly. I created a standalone executable of a simple IRC bot I'm
putting together via:
raco exe ircbot.rkt
When I run it the vsz=209440 and rss=633
On 12/08/15 17:20, Vincent St-Amour wrote:
> Pull request merged.
Super!
> Thanks again for your contributions, and sorry again for the delay.
They're nothing compared to what you guys are doing all the time. :-)
Tim
--
Tim Brown CEng MBCS
How does Scribble typeset the lambda?
/Jens Axel
2015-08-12 18:15 GMT+02:00 Vincent St-Amour
:
> Paul,
>
> FWIW, many of us use Scribble for papers and theses, which does a great
> job at typesetting Racket code. It's also (IMO) a much more pleasant
> document authoring language than TeX.
>
Pull request merged.
Thanks again for your contributions, and sorry again for the delay.
Vincent
On Wed, 12 Aug 2015 09:56:11 -0500,
Tim Brown wrote:
>
> Thank you Vincent.
>
> Tim
>
> On 12/08/15 15:19, Vincent St-Amour wrote:
> > Hi Tim,
> >
> > It looks like your PR accidentally fell th
Paul,
FWIW, many of us use Scribble for papers and theses, which does a great
job at typesetting Racket code. It's also (IMO) a much more pleasant
document authoring language than TeX.
For example, my dissertation [1] is written using Scribble and a wrapper
over the classicthesis style [2]. If yo
Thank you Vincent.
Tim
On 12/08/15 15:19, Vincent St-Amour wrote:
> Hi Tim,
>
> It looks like your PR accidentally fell through the cracks. Sorry about
> that.
>
> I'll have a look at it today.
>
> Thanks again for your contributions!
>
> Vincent
--
Tim Brown CEng MBCS
━━━
Hello Racketeers,
Of course, i should be doing something useful, like writing my thesis.
Instead, i am obsessing over typesetting details.
I use fixed-width fonts (the LaTeX package beramono, to be precise) for
my code snippets. I use the listings package too. This allows me to
mark words such
Hi Tim,
It looks like your PR accidentally fell through the cracks. Sorry about
that.
I'll have a look at it today.
Thanks again for your contributions!
Vincent
On Wed, 12 Aug 2015 05:03:07 -0500,
Tim Brown wrote:
>
> Dear team,
>
> I raised PR#948 at the end of May, splitting net/url into
You can copy your DrRacket preferences file to the "defaults" collection.
There is some documentation on this here:
http://docs.racket-lang.org/drracket/drracket-files.html?q=Preference%20Files#%28part._.Preference_.Files%29
~Leif Andersen
On Wed, Aug 12, 2015 at 9:14 AM, Charles Rich wrote:
>
Hi Matthias, Thanks for the quick reply.
We're installing this on all teaching lab and campus machines for students
in our courses. Is there any way to make true, etc., the default, so
students don't have to make this change every time the start up Racket?
-Chuck
On Wed, Aug 12, 2015 at 8:51 AM
Open the language dialogue.
Click 'choose details'.
On the right side, you will see a radio button for true/false/empty vs
#true/#false/'().
On Aug 12, 2015, at 8:43 AM, Charles Rich wrote:
> Hi, in the release notes for 6.2.1 it says:
>
> * For the How to Design Programs teaching langua
Hi, in the release notes for 6.2.1 it says:
* For the How to Design Programs teaching languages, DrRacket offers
an option to use the old style for printing the constants `true`,
`false`, and `empty` instead of `#true`, `#false`, and `'()`.
But after searching a while, I could not find out ho
On Tue, Aug 11, 2015 at 10:24 AM, Sean Kemplay wrote:
> Hi All,
>
> Sending an http request through our corporate proxy works as follows for http
> requests ->
>
> (define-values (x y z)
> (http-sendrecv "10.0.0.200" "http://www.example.com";
> #:port 8080
> #:
I agree this would be nice but I think the right way to approach it would
be to have metadata cached (via some more generic library supporting such
metadata) with exported libraries in a file near the .zo and .dep files.
Then drracket can figure out what is imported and then read those files for
th
Dear team,
I raised PR#948 at the end of May, splitting net/url into net/url
and net/url-strings; and after a bit of discussion changed it to
net/url and net/url-string (on the 1st July).
I know Greg urges patience in his “Guide for infrequent contributors”;
I know it’s summer holidays and all; b
19 matches
Mail list logo
