[racket] student languages: getting started?

Hm. That is the output that you should have (ie that should show you
the teaching languages in the dialog).

In DrRacket, there is a way to disable plugins (tools). If you open
the preferences dialog and go to the second-to-the-right tab (labelled
"Tools"), do you see the line "How to Design Programs (loaded)" in the
list?

Robby

On Wed, May 21, 2014 at 10:29 AM, Éric Tanter <etanter at dcc.uchile.cl> wrote:
> On May 21, 2014, at 11:26 AM, Robby Findler <robby at eecs.northwestern.edu> wrote:
>
>> This sounds like something has gone wrong in the pkg setup on your
>> machine. What do you get when you do
>>
>>  raco pkg show -a
>
> Here it is:
>
> $ raco pkg show -a
> Installation-wide:
>  Package[*=auto]                  Checksum                                    Source
>  algol60*                         69aee8823ab03379cd7f237dce8307faa68d1353    (catalog algol60)
>  at-exp-lib*                      81aee4722855be6b054c17517052acd88f2a40a7    (catalog at-exp-lib)
>  base*                            30b0a40d9c4482f4bf0e972ff92598f2c2a59a71    (catalog base)
>  cext-lib*                        32f33aad2f07251d5e442370b20ddb30fbb947c9    (catalog cext-lib)
>  compatibility*                   bf2b03f5e6b76cf9904c43492643eadd0020a4cb    (catalog compatibility)
>  compatibility-doc*               aa34985861604151d7019555a9a680575a9925f6    (catalog compatibility-doc)
>  compatibility-lib*               bd30911abd1fd46da699e82a79beb0c060805b0f    (catalog compatibility-lib)
>  compiler*                        a5776276860749031b2d9e47b2d501387ce132cf    (catalog compiler)
>  compiler-lib*                    c76067ed22ae826102b4dea6a9fa497e9acf4e3c    (catalog compiler-lib)
>  contract-profile*                b6304b633e9550175d5c1a730acc5c8ca2098077    (catalog contract-profile)
>  data*                            d74b57ca6c7fbcff85f0f4e834d0290f0819c77c    (catalog data)
>  data-doc*                        6e15cee61616a0385ba302bdc711e348a772bce4    (catalog data-doc)
>  data-lib*                        80f10e2093221daeb10e1c973f10e8d4dddf52c0    (catalog data-lib)
>  datalog*                         d349474d51d9396387bc17541c93bd3257532cf7    (catalog datalog)
>  db*                              71bd5f6c61bd96b3b3c85ed7723555e59eedd4ad    (catalog db)
>  db-doc*                          2777804dfd9af5869ba59da523fb6317a06edd0d    (catalog db-doc)
>  db-lib*                          47bc798d274d702eadf632369cfb6bb04c4dff2a    (catalog db-lib)
>  deinprogramm*                    ea7944d5475ff0888fe27167bcfe85b3215fa72c    (catalog deinprogramm)
>  distributed-places*              552c2dbc7d39c534af83df4cf07df67ac237cfa9    (catalog distributed-places)
>  distributed-places-doc*          02f17df001e13f9d3575dfeec8af2c59c4e78327    (catalog distributed-places-doc)
>  distributed-places-lib*          e4bfc801856a7b3dc2ec1eb03aa3ce54118c611c    (catalog distributed-places-lib)
>  draw*                            a44d581aff66f5da75dfe22377bcd2ac86696a15    (catalog draw)
>  draw-doc*                        04d8599fd571cb821dba4dfef3d173bae40b17b4    (catalog draw-doc)
>  draw-lib*                        1f4a62abdbff81c359c278cdb4c410bbf60c447a    (catalog draw-lib)
>  draw-x86_64-macosx*              e401473e9863681e016e02c36a800aa539426281    (catalog draw-x86_64-macosx)
>  drracket*                        8fdad09333834d66bdb06e23740249a226ebc465    (catalog drracket)
>  drracket-plugin-lib*             7ecbb081a0122994c30b45d83443bd9c6a955562    (catalog drracket-plugin-lib)
>  ds-store*                        0f5ace1f22b21d6f9464a04272b3ccb61afff9e2    (catalog ds-store)
>  ds-store-doc*                    f98d6d39db4dec191e60e0b12bf74638fb6439fa    (catalog ds-store-doc)
>  ds-store-lib*                    69791710612bdbc8ca839745b75cc1c93f6b9907    (catalog ds-store-lib)
>  eli-tester*                      9be57f0c45858cdcdd6ac2e2569ee96fd8973719    (catalog eli-tester)
>  eopl*                            d4112c1907ac47499d265d5aca3f093d4816b6e1    (catalog eopl)
>  errortrace*                      941b461f7e08532f840b656b59f69a7bd85f9107    (catalog errortrace)
>  errortrace-doc*                  b0ded85d8f6e6f3b921fcd0355eb26dfbc0acd10    (catalog errortrace-doc)
>  errortrace-lib*                  f77c731aa54380d2f8ebb5b37a674bdd49b84309    (catalog errortrace-lib)
>  frtime*                          fa0b76f4947bb1b0ea11d3a5fa7c42680cd2ebfc    (catalog frtime)
>  future-visualizer*               ee7205a9f20e39cd84e9a31770d9a286cdd7c90b    (catalog future-visualizer)
>  future-visualizer-typed*         7ed0d89a5b67dc379acfd7f6538e7611f87b573a    (catalog future-visualizer-typed)
>  games*                           e43ec8e5999d53f11782569864cfbbda2fad00ee    (catalog games)
>  gui*                             eb27879cea314fc34bb1fa1c3767fc761fbdc9fe    (catalog gui)
>  gui-doc*                         e388036c731893d9b8f40865d539c2a68b6eedc7    (catalog gui-doc)
>  gui-lib*                         d6fd17cfdb3dc79d864a334aafecd8827222ed9f    (catalog gui-lib)
>  gui-pkg-manager-lib*             a208e89de98e75969d764cedb2ed1699a5d92900    (catalog gui-pkg-manager-lib)
>  gui-x86_64-macosx*               a8470ccfac9f3cb09694b8b935dd90c84bc5bf8b    (catalog gui-x86_64-macosx)
>  htdp*                            31d713703a2c036bc987ce528259caacb88c5038    (catalog htdp)
>  htdp-doc*                        93aa9292ae3883be1356d9e910d5b047d386835f    (catalog htdp-doc)
>  htdp-lib*                        85430e95718c561939f0f2b31e40747d17864559    (catalog htdp-lib)
>  html*                            eeeef3709659013108d0c40bc2300bad51a59521    (catalog html)
>  html-doc*                        d7ae896180c35b90807e8fec9aeadad5abf9918b    (catalog html-doc)
>  html-lib*                        8fea6d600bf40181223c0e518fb3bdb8e343f9e5    (catalog html-lib)
>  icons*                           aab681655d03679b69f597a120a2d6ed9ca997d5    (catalog icons)
>  images*                          4a3a9f5d4e5652ea121a104176ef750a712e590a    (catalog images)
>  images-doc*                      108f397c385b1e53db01c3edc72f3b721aec6332    (catalog images-doc)
>  images-gui-lib*                  8d2fa6cdeaf679182394e343a1a57272c52d21be    (catalog images-gui-lib)
>  images-lib*                      821ad0730a5cde2072d80e399ef004d7c3888616    (catalog images-lib)
>  lazy*                            c33131c9e354e250893e14c082ec9191e9e3547f    (catalog lazy)
>  macro-debugger*                  8ad86c269226565c459465548a864582322b6751    (catalog macro-debugger)
>  macro-debugger-text-lib*         49fd217de0525e68ae03450ce946d5e44354d3b8    (catalog macro-debugger-text-lib)
>  main-distribution                b5541888d9afdeea2addc1986e17b0ca3b8533d7    (catalog main-distribution)
>  make*                            5c51de69b3dbc2a8fd6f9ab80ed1e03af7639ec9    (catalog make)
>  math*                            99ae6ee6116c0b0284e0e8c0dd8aa43ecc26c516    (catalog math)
>  math-doc*                        837dab249cf1fec290ab1f498f8706e494a60c07    (catalog math-doc)
>  math-lib*                        2245c5120265087a8475b0c37d41722114e9bd3a    (catalog math-lib)
>  math-x86_64-macosx*              5d79c26ee91b26b069a809a31f638e1899a29888    (catalog math-x86_64-macosx)
>  mysterx*                         d2293b3c439c5dfec92a5ed53ae7e3a49df61fbe    (catalog mysterx)
>  mzcom*                           9ee91eebb1c091ac111a4f5e58ef1dd0daaa1b2e    (catalog mzcom)
>  mzscheme*                        95e494849646cdbe13a75e35cc42bf0c3bfe3b11    (catalog mzscheme)
>  mzscheme-doc*                    37bf90c8513a50d0a71cfa927d4079648cf28de0    (catalog mzscheme-doc)
>  mzscheme-lib*                    b069aa44a8d41293b1d496ce2aefe70f0db3e284    (catalog mzscheme-lib)
>  net*                             f521604d90338561bae406b547d08bd6c6edbd21    (catalog net)
>  net-doc*                         837e18112397836bb0dbc7c297ec1d0fe1e92858    (catalog net-doc)
>  net-lib*                         87f2c80fe07dad0c38c827bd97b0da850db08a35    (catalog net-lib)
>  parser-tools*                    2d70b29ea21ce57b4418f5b4e8f8bf072e0d647a    (catalog parser-tools)
>  parser-tools-doc*                e9fcbc383fc0539e63ff478cd4e3de3dba16a8e3    (catalog parser-tools-doc)
>  parser-tools-lib*                ab1670bb9a21a827bc508d38223d855d38239299    (catalog parser-tools-lib)
>  pconvert-lib*                    ee83547c1c453a1cd1a9e2f2bc8ab786813497cc    (catalog pconvert-lib)
>  pict*                            8ed55fb57dc8ccd769446075b8b4a5f8c6a6d13d    (catalog pict)
>  pict-doc*                        6eaf7f426022eaee022cfe91365a2ec66f40fc92    (catalog pict-doc)
>  pict-lib*                        54c9e0cbaf28801455ff3ba9db71704c325978af    (catalog pict-lib)
>  picturing-programs*              5e71cfc9670f36abc601e7000da43728457212e5    (catalog picturing-programs)
>  plai*                            cbbaf283b7248f03c4d2a891a4de9ced6cbd46db    (catalog plai)
>  planet*                          8b948c462de659644d6abd1e2df3bf29b7673757    (catalog planet)
>  planet-doc*                      6419f9f48fc152f764db0bda5afc17beb4fe9776    (catalog planet-doc)
>  planet-lib*                      e90b8c9f663a4a6e1898cf03cd7766380e99f86a    (catalog planet-lib)
>  plot*                            ba1bba4984c2b7ce243266e81eb9b12a0d37dff4    (catalog plot)
>  plot-compat*                     366acca403f73d4076f59f7670e7ede05cca9123    (catalog plot-compat)
>  plot-doc*                        65a31311e90dea8f981c7cecb68a3b41619953c7    (catalog plot-doc)
>  plot-gui-lib*                    0f57b725e13aa258fb52590ef9c3a78f35b405d8    (catalog plot-gui-lib)
>  plot-lib*                        3481a0bf846c081eb27347076825d0cebfecc10d    (catalog plot-lib)
>  preprocessor*                    ac4108f8c1e67cf6bb4a69f70decb28ac5f23b2b    (catalog preprocessor)
>  profile*                         386d9146322f111864e670c9e9994576e630e719    (catalog profile)
>  profile-doc*                     cbeab81ab18b8ae6a368cb4fe9da69370bbdcdc7    (catalog profile-doc)
>  profile-lib*                     a949ebce3e3b55d066c29975ff22d6ed0a2d7a8d    (catalog profile-lib)
>  r5rs*                            9f0726533d4e6d11cd18e0ad26339784334ac223    (catalog r5rs)
>  r5rs-doc*                        b9886abc419702b9aad38192ce93766f6ad13d24    (catalog r5rs-doc)
>  r5rs-lib*                        5128aba59b9cdf2ce07b94506656c8c461e4331b    (catalog r5rs-lib)
>  r6rs*                            decbf4d5dbe4450ab87cfb484fa3ec790c0d7b46    (catalog r6rs)
>  r6rs-doc*                        c4a177780b7bcb0d40bbb7d15adbf62c918a2721    (catalog r6rs-doc)
>  r6rs-lib*                        c1514e9baf5d16c3e5267275606be1e9ee0b3fff    (catalog r6rs-lib)
>  racket-doc*                      ddd6d39672e617c70a8a15ba49a26be5ee71c346    (catalog racket-doc)
>  racket-index*                    0734f04128a7f7570b9f7f40bffd404129df7810    (catalog racket-index)
>  racket-lib                       4e0ce39bb85789f0012f962eaf7027f0977b2b83    (catalog racket-lib)
>  racklog*                         184d1839c6269d07633cab029fdc1c231becebbc    (catalog racklog)
>  rackunit*                        5ef50133c1c4365aabfd5fa5218c0d683de27b2f    (catalog rackunit)
>  rackunit-doc*                    3a6af415825327fd62dd7edf75f32f2faf3841e7    (catalog rackunit-doc)
>  rackunit-gui*                    ad50ca613fd2b3f51033c55c57d1338407ae3a07    (catalog rackunit-gui)
>  rackunit-lib*                    f3ca90c50606fd4dd0ee6ddd7d925098a25505bf    (catalog rackunit-lib)
>  rackunit-plugin-lib*             82d63f444e40c9150aff60b7654e8024c0961412    (catalog rackunit-plugin-lib)
>  readline*                        4183400b9414bacbb905c6c5c3242de1b84d4b87    (catalog readline)
>  readline-doc*                    c1650acc3730f807c973152021b1fa2a207f8f5d    (catalog readline-doc)
>  readline-lib*                    ed3deab09d5cd61f639ff5051f593e01617bdbcb    (catalog readline-lib)
>  realm*                           6d52c2c98c4d004c096c88ab6a78b69ad251e8a1    (catalog realm)
>  redex*                           fa9a4a71b1df940a25578809d7fc092b826d07e6    (catalog redex)
>  redex-doc*                       da151e2daae9b86d6b60213e1bcbf272ef136af5    (catalog redex-doc)
>  redex-examples*                  e187a4d73cc35f2f0724be29ddbf41b327d32aa5    (catalog redex-examples)
>  redex-gui-lib*                   d0a345fa590a7ca2298d3feba7c4559dc9c4ada5    (catalog redex-gui-lib)
>  redex-lib*                       953093b1875bb8727d45fcacf7f4b8c79dfd0c67    (catalog redex-lib)
>  redex-pict-lib*                  0ede628f549d36f69bb84bb876736daec2d96b22    (catalog redex-pict-lib)
>  sandbox-lib*                     9c9a019b132eabfcf61ada25a883978596b19123    (catalog sandbox-lib)
>  scheme-lib*                      314addcdb6f8f0ee37e08f370199ff7f27542fbc    (catalog scheme-lib)
>  schemeunit*                      6be6a8ae3b65e202b2f641d2755a47abee1d56a4    (catalog schemeunit)
>  scribble*                        eb14c06b98f2ff995c7c784bd0261832eaf046a1    (catalog scribble)
>  scribble-doc*                    83fe99f49a09dd46278baa6883899a5875982da8    (catalog scribble-doc)
>  scribble-html-lib*               4731c04755c252404c83abd4fcd94d82c446a755    (catalog scribble-html-lib)
>  scribble-lib*                    a96bd6e6946366357ce26d66e63b695e8abdefe3    (catalog scribble-lib)
>  scribble-text-lib*               ce8636c9dea4432d81c3e6a73c930ceab31942d0    (catalog scribble-text-lib)
>  serialize-cstruct-lib*           7ee1e797a95be2c99b50f7b0d5cfee1facf64709    (catalog serialize-cstruct-lib)
>  sgl*                             60febf65d2876de0f372f90cd734718ec8018781    (catalog sgl)
>  shell-completion*                4abd6e9a393a907dc56d5e07108432181632c950    (catalog shell-completion)
>  slatex*                          ff32f243d206c2ae810adac7d8a7f8f311df75da    (catalog slatex)
>  slideshow*                       9515a0b6e8f78025cf948462856dcce0ad2fbee5    (catalog slideshow)
>  slideshow-doc*                   d9f06646774e07eb59fbdede9ad502d69abd36cf    (catalog slideshow-doc)
>  slideshow-exe*                   a83619dec20acab4bb99e34d89cd881561fb95bb    (catalog slideshow-exe)
>  slideshow-lib*                   5fd27c1f2d97d5349f94014cf74978de97ee8e6c    (catalog slideshow-lib)
>  slideshow-plugin*                5fa061c66104dc11b5be743f75cb367d4beb9ee5    (catalog slideshow-plugin)
>  snip*                            0ae9a544fe9656aeab18955110248ff5d60e1aba    (catalog snip)
>  snip-lib*                        3dd644c1d824b6b79468551be0d670be1302719c    (catalog snip-lib)
>  source-syntax*                   d99c4bb64396bbe1c1729ae43f72dd2c49a19aca    (catalog source-syntax)
>  srfi*                            db8b3b4758a13cb63e3cf91a4b0b87ba51f40b17    (catalog srfi)
>  srfi-doc*                        b3cb202d12fea6b38b2861b3327db600a74e44b9    (catalog srfi-doc)
>  srfi-lib*                        44ca0adac3e6d9420417893fa62a5150879def68    (catalog srfi-lib)
>  srfi-lite-lib*                   8eb42790044fedd27a1ccdf7dbb40c58d9ba0e6e    (catalog srfi-lite-lib)
>  string-constants*                930a04d1e289b61dd8f2e9eae2d877f9d901b8a0    (catalog string-constants)
>  string-constants-doc*            cb950bdb013157605212e6d0752309f3a370df03    (catalog string-constants-doc)
>  string-constants-lib*            22636a8d201dd0799117ae4a4a32fd472a03d0f5    (catalog string-constants-lib)
>  swindle*                         3a0a5098b8c558e84f35847e68e414a9053d2e7a    (catalog swindle)
>  syntax-color*                    aaf6a5edf5521ed26f107b2dc7f45cb5e3d6d93b    (catalog syntax-color)
>  syntax-color-doc*                091a54828be8607e77ee6f438202ee67f11007e2    (catalog syntax-color-doc)
>  syntax-color-lib*                cc54a8d60c98b754fb99cc9d75779a22e137e7af    (catalog syntax-color-lib)
>  tex-table*                       30980e83d1c621a011fc214c28fc147243c83216    (catalog tex-table)
>  trace*                           4d3f1b3c78cf09d41d3fe0f6d6c96e74a437c09a    (catalog trace)
>  typed-racket*                    e180b8f37db5666ed8b2999435ec2846d9a8d5b3    (catalog typed-racket)
>  typed-racket-compatibility*      ffbe78adbd07fec7ea16ef04e9d3b5a28190dc1f    (catalog typed-racket-compatibility)
>  typed-racket-doc*                1056cc2e7252c95dccc3afe9c62b0913255e17ab    (catalog typed-racket-doc)
>  typed-racket-lib*                d5f8b607acf56c2140b5ebb7add0e252260ba628    (catalog typed-racket-lib)
>  typed-racket-more*               df2bdc18dff4745c7dd87702add74ecd3d4d5b84    (catalog typed-racket-more)
>  unstable*                        2681c707ddeebd8a53521ae0380520290f2cd6b1    (catalog unstable)
>  unstable-2d*                     c14b38c30d5b524533a4e3be5ef145f30a141da1    (catalog unstable-2d)
>  unstable-contract-lib*           986c21649d25779394edee1f70ce34249c12aa8a    (catalog unstable-contract-lib)
>  unstable-debug-lib*              7080d5b02d943b010a1a029f1ef5d5296c72f86b    (catalog unstable-debug-lib)
>  unstable-doc*                    e09899c667f0847da351ef29ddddd067f5361c91    (catalog unstable-doc)
>  unstable-flonum-doc*             070bccd1bcbb89072f2b0897c7fc96bb7612360c    (catalog unstable-flonum-doc)
>  unstable-flonum-lib*             77c7592d6d00cd36fa21c48c16dc479eccf03f0c    (catalog unstable-flonum-lib)
>  unstable-latent-contract-lib*    621588d67a37cba656acb94bfb3a54701645cc24    (catalog unstable-latent-contract-lib)
>  unstable-lib*                    cad94a75afde7f919aace0dfc31b14a51d5824f5    (catalog unstable-lib)
>  unstable-list-lib*               66d4569adea31a87f1b03a37ae82f46d6b4eb84a    (catalog unstable-list-lib)
>  unstable-macro-testing-lib*      8ac7ace82bbc7577a20f815f7463324c99aa11c1    (catalog unstable-macro-testing-lib)
>  unstable-options-lib*            c814fb63f6a1693ee2011a1ff50f9908b6a31222    (catalog unstable-options-lib)
>  unstable-parameter-group-lib*    333d39b343a5deac997f14672a13a295e74c04be    (catalog unstable-parameter-group-lib)
>  unstable-pretty-lib*             a104a6598956172edbc821e0cb032e3640dbcfed    (catalog unstable-pretty-lib)
>  unstable-redex*                  c5a8d7f74c3bb6ca045bf11e0001ea77bfe286ba    (catalog unstable-redex)
>  web-server*                      c67bfd642b400e9abc9ab747018a4ccb795e020d    (catalog web-server)
>  web-server-doc*                  bf5095f401e8d544d7d20ce3d9ef0d3d6b5aba37    (catalog web-server-doc)
>  web-server-lib*                  37c6a758602efc50ffceb3076292687d41466b0d    (catalog web-server-lib)
>  wxme*                            2f3d1b78e962a1b5f481fc1fa69281a2f7d683de    (catalog wxme)
>  wxme-lib*                        cc5ce3c0cdfea7a98154a00eca4bdc62437392d9    (catalog wxme-lib)
>  xrepl*                           9ad8642ecf60300b2ea8092cee81a8e095ec3e20    (catalog xrepl)
>  xrepl-doc*                       e588dd43fd14ffb18a58bf80fa96741270bcda4c    (catalog xrepl-doc)
>  xrepl-lib*                       7b9dd56aae5490742e23e22189b5fb8ac15391c7    (catalog xrepl-lib)
> User-specific for installation "6.0.1":
>  [none]
>