[racket] plai-typed missing?

On both a compiled from source 5.90 and a 5.3 downloaded and installed from the website I am unable to load the plai-typed language. I get "collection not found" errors in both instances. Am I missing something? Do I need to take an extra step to add plai-typed? -Logan Rack

Re: [racket] Ubuntu 12.04

When I first upgraded to 12.04 the previously installed (built from source) version of DrRacket wouldn't load. I re-compiled (5.3.0.4--2012-04-30(1b7f9bf/g) [3m]) and it runs fine now. Maybe that's it? -Logan Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Graphics Issues in Ubuntu 11.10

Since posting I switched over to Gnome-Shell. Same problem. I've also noticed that not only are the tabs gone but the buttons at the left hand side are gone as well (i.e. run and stepper). In Unity I had the global-menu, but now in Gnome-shell I don't even get that. However, the menu is there j

[racket] Graphics Issues in Ubuntu 11.10

I recently upgraded to Ubuntu 11.10 and have noticed some pretty serious glitches in the graphics of DrRacket. Most notably tabs are no longer visible but are select-able. Meaning, if I click where the tabs should be, it'll switch tabs. I'm assuming this has something to do with the Unity UI. T

[racket] Ubuntu PPA Problem

I'm attempting to get an Ubuntu server (10.04, amd64) up to date with 5.1.2. I'm getting the following errors: > sudo apt-get -f install racket Reading package lists... Done Building dependency tree Reading state information... Done Some packages could not be installed. This may mean that you hav