Sounds good to me.
On Jun 5, 2015, at 1:12 PM, Robby Findler <[email protected]> wrote: > On Fri, Jun 5, 2015 at 11:08 AM, Matthias Felleisen > <[email protected]> wrote: >> >> * The teaching languages come with a new teachpack, 2htdp/abstraction, >> which allows instructors and students to use a number of abstractions >> in ISL: for/* loops, match, define-type and type-cases. >> >> * The 2htdp/universe again allows the creation of executables from drracket >> (and they behave properly when run independently of drracket). > > Maybe for the second: > > * DrRacket's executable creation mechanism works with 2htdp/universe programs > > or something like that? > >> >> >> >> >> >> >> On Jun 5, 2015, at 11:03 AM, Robby Findler <[email protected]> >> wrote: >> >>> * Added data/enumerate: a library that supports efficient enumeration >>> of data structures >>> >>> * DrRacket's online check syntax works with images and other non-text >>> content >>> >>> * DrRacket's blueboxes are available more often and contain methods >>> and constructor information >>> >>> * DrRacket's "Open Require Path" menu item supports ".." in relative >>> pathnames >>> >>> * Redex's redex-check uses enumeration to try to find counter-examples >>> (in addition to using random generation, as before) >>> >>> * Redex's generate-term accepts additional arguments to return the >>> "i"-th member of a pattern using data/enumerate (meaning it >>> efficiently supports very large values of "i"). >>> >>> * Redex's examples include Launchbury's 1993 big-step lazy semantics >>> >>> * 2htdp/image: allow "polygons" to be built out of bezier curves >>> instead of just straight lines (see the docs for "pulled-point"). >>> >>> Robby >>> >>> >>> >>> On Fri, Jun 5, 2015 at 8:46 AM, Ryan Culpepper <[email protected]> wrote: >>>> The release announcement sketch that I have so far is below. Please >>>> mail me new items and/or edits. >>>> >>>> ** The items below are from the main repository only. Please >>>> review your package repositories for items after the split. >>>> >>>> ---------------------------------------------------------------------- >>>> >>>> - split repository (samth 29873382) >>>> >>>> mflatt: >>>> - git pkg support (babd4202, bbf154ba, fbdfa365) >>>> - impersonator protocol changes (0b71b848) >>>> - logging changes (65e323d2, 83b45957, 83b45957, 58eb8024) >>>> - restore Cygwin support (cceda783) >>>> - "raco pkg {install,update} --clone" (6379aadd) >>>> - Unicode 7.0 (9c7d0b87) >>>> - iOS? (af6c3961) >>>> >>>> robby: >>>> - avoid redundant instanceof/c contracts (e589f591) >>>> >>>> ryanc: >>>> - openssl: use TLS by default (933a71ce) >>>> >>>> samth: >>>> - avoid requiring contracts when not used (8ea8c54e) >>>> >>>> asumu: >>>> - type tooltips (c2abbc70) >>>> >>>> jay: >>>> - data/enumerate (981a68bb) >>>> >>>> ---------------------------------------------------------------------- >>>> >>>> -- >>>> You received this message because you are subscribed to the Google Groups >>>> "Racket Developers" group. >>>> To unsubscribe from this group and stop receiving emails from it, send an >>>> email to [email protected]. >>>> To post to this group, send email to [email protected]. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/racket-dev/5571A84D.8020902%40ccs.neu.edu. >>>> For more options, visit https://groups.google.com/d/optout. >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "Racket Developers" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to [email protected]. >>> To post to this group, send email to [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/racket-dev/CAL3TdOPooPfTj3m%3D3a8z%3DOZObubyMjnEeuo2zjZwJWJ3Zgdgng%40mail.gmail.com. >>> For more options, visit https://groups.google.com/d/optout. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/96680804-B6CB-49D2-8DD6-9EA9A98A3D3C%40ccs.neu.edu. >> For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/A52AA03E-8F06-42E4-A1F7-95C572462275%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
