There is a bug in devinstall.php. There is an extraneous comma at the end of the list of columns for {wp_}devfmt_config:
showtools tinyint(1) DEFAULT '1',
This causes the install to fail and never populate the programming languages. I ran the SQL manually (getting an error on the syntax) and then revised the SQL so it would pass. Then I uninstalled and installed the plugin and things seem to be working.
Presumably the code should be
$sqlDevFmtConfig = "CREATE TABLE {$table_prefix}devfmt_config (
geshilangpath varchar(255) CHARACTER SET utf8 NOT NULL,
geshiuselink tinyint(1) NOT NULL DEFAULT '0',
displaylinenumbers tinyint(1) NOT NULL DEFAULT '1',
usedevformat tinyint(1) NOT NULL DEFAULT '1',
devfmtcss text CHARACTER SET utf8,
linkjquery tinyint(1) DEFAULT '1',
highlighttags tinyint(1) DEFAULT '0',
copyclipboartext varchar(100) CHARACTER SET utf8 DEFAULT NULL,
parsepre tinyint(1) DEFAULT '1',
hookrss2 tinyint(1) DEFAULT '1',
devversion varchar(30) CHARACTER SET utf8,
showtools tinyint(1) DEFAULT '1'
);";
Not sure whether this is a problem in all versions of MySQL -- it's actually a Perl Best Practice (according to Damian Conway) to make lists this way, but it doesn't seem to work in my MySQL.