[racket] student languages: getting started?
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 <robby at 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 <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]
>>
>