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/CAL3TdOOBAOvyxb9%3DJBYhp8J4%2Bp4%2BkfX2PMKaZ8YN3vyswRQLDg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
