Re: [racket-dev] Latex files

2011-02-19 Thread Robby Findler
On Fri, Feb 18, 2011 at 9:44 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Feb 18, 2011 at 9:42 PM, Robby Findler ro...@eecs.northwestern.edu wrote: It wouldn't hurt to include a little script that downloads the correct versions of the files from racket-lang.org somewhere and puts

Re: [racket-dev] Latex files

2011-02-19 Thread Matthew Flatt
At Fri, 18 Feb 2011 22:44:54 -0500, Sam Tobin-Hochstadt wrote: At least for the JFP file, it's pretty clearly a copyright violation for us to distribute the file at all -- on the web page or elsewhere. We'd have to download it from the CUP site. For the ACM file, I emailed the contact email

Re: [racket-dev] Latex files

2011-02-19 Thread Robby Findler
On Sat, Feb 19, 2011 at 7:25 AM, Neil Van Dyke n...@neilvandyke.org wrote: Robby Findler wrote at 02/19/2011 08:00 AM: But I'm starting to think that Matthew's solution is easiest. Lets just punt. FWIW, I see additional reasons to, as Matthew suggested, *not* bundle third-party La/TeX

Re: [racket-dev] Latex files

2011-02-19 Thread Sam Tobin-Hochstadt
On Sat, Feb 19, 2011 at 8:22 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 18 Feb 2011 22:44:54 -0500, Sam Tobin-Hochstadt wrote: At least for the JFP file, it's pretty clearly a copyright violation for us to distribute the file at all -- on the web page or elsewhere. We'd have to

Re: [racket-dev] Latex files

2011-02-19 Thread Robby Findler
Does it seem okay to provide a script that downloads the .cls file from the jfp website and tuck it into the (already installed) distribution (presumably in a user-specific place)? If so, then we can at least set up a drdr test that does that and checks to see if scribble produces exactly the

Re: [racket-dev] Latex files

2011-02-19 Thread Sam Tobin-Hochstadt
On Sat, Feb 19, 2011 at 9:50 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Does it seem okay to provide a script that downloads the .cls file from the jfp website and tuck it into the (already installed) distribution (presumably in a user-specific place)? Yes, this is a well-known

Re: [racket-dev] Latex files

2011-02-19 Thread Robby Findler
On Sat, Feb 19, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Sat, Feb 19, 2011 at 9:50 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Does it seem okay to provide a script that downloads the .cls file from the jfp website and tuck it into the (already installed)

Re: [racket-dev] Packaging

2011-02-19 Thread Jay McCarthy
I've batch my responses to yesterday's questions together. As a general note, I'd like to have my document be an accurate reflection of what I should do when I start coding, so if you think I should update it to clarify the answers to these questions, please let me know. I'm blinded a bit by my

Re: [racket-dev] Packaging

2011-02-19 Thread Robby Findler
On Sat, Feb 19, 2011 at 9:39 AM, Jay McCarthy jay.mccar...@gmail.com wrote: I've batch my responses to yesterday's questions together. As a general note, I'd like to have my document be an accurate reflection of what I should do when I start coding, so if you think I should update it to

Re: [racket-dev] Packaging

2011-02-19 Thread Robby Findler
On Sat, Feb 19, 2011 at 10:18 AM, Robby Findler ro...@eecs.northwestern.edu wrote: It looks to me like you there is relevant, important metadata that you're making someone fold into an implicit place instead of an explicit one. Will you have a convention for these? What if I decide to call

Re: [racket-dev] Latex files

2011-02-19 Thread Eli Barzilay
An hour and a half ago, Robby Findler wrote: On Sat, Feb 19, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Sat, Feb 19, 2011 at 9:50 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Does it seem okay to provide a script that downloads the .cls file from the jfp

Re: [racket-dev] Latex files

2011-02-19 Thread Matthias Felleisen
On Feb 19, 2011, at 9:46 AM, Sam Tobin-Hochstadt wrote: I have not, although one of the JFP editors is on this list :) I have routinely provided the JFP style file from my own web page, and I am pretty sure JFP knows that I do so. Of course, I am the content EiC not the commercial editor.

Re: [racket-dev] Latex files

2011-02-19 Thread Robby Findler
On Sat, Feb 19, 2011 at 11:19 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: For SIGPLAN I will say that I routinely have to change the 'latest' download that students use for their drafts so that I get one-column versions of the papers that I can extensively edit. I would really prefer

Re: [racket-dev] Packaging

2011-02-19 Thread Robby Findler
I think that the versioning problem is an important and hard one, and the obvious first place to turn this infrastructure work into a research result. Racket gives you a significant opportunity that others would not have (for a certain class of solutions, at least). Even better, we have