Robby Findler 4c9868bf8c got rid of get-language-id, in favor of using get-language-numbers in the preference for the current language ... svn: r4079		2006-08-17 16:05:41 +00:00
..
private
datatype.ss
doc.txt
eopl-small.gif
eopl-tool.ss	got rid of get-language-id, in favor of using get-language-numbers in the preference for the current language	2006-08-17 16:05:41 +00:00
eopl.ss
info.ss