Re: [racket-users] Scribble reinstallation

2019-07-23 Thread Hendrik Boom
On Mon, Jul 22, 2019 at 09:25:35PM -0400, Ben Greenman wrote: > You should be able to keep the current Racket, > download a snapshot build, > and run the `/bin/drracket` inside the snapshot > > https://www.cs.utah.edu/plt/snapshots/ So I would install one of the snapshots and use it instead o

Re: [racket-users] Scribble reinstallation

2019-07-22 Thread Ben Greenman
You should be able to keep the current Racket, download a snapshot build, and run the `/bin/drracket` inside the snapshot https://www.cs.utah.edu/plt/snapshots/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group

[racket-users] Scribble reinstallation

2019-07-22 Thread Hendrik Boom
On Thu, Jul 18, 2019 at 12:25:22PM -0600, Matthew Flatt wrote: > > At Thu, 18 Jul 2019 12:28:53 -0400, Hendrik Boom wrote: > > > Did some measurements. > > > > > > 800K of text, represented as 80 scribble files each of 10K bytes, > > > each included using @include-section from one file: > > > 7