That was it! For some reason it was "skipped". Thanks, and sorry for the noise.
-- Éric On May 21, 2014, at 11:54 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > 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
