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 <etan...@dcc.uchile.cl> wrote: > On May 21, 2014, at 11:26 AM, Robby Findler <ro...@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] > ____________________ Racket Users list: http://lists.racket-lang.org/users