11 Jul
2007
11 Jul
'07
5 p.m.
In order for libaterm to download, the following should be added to master_sites: http://homepages.cwi.nl/~daybuild/releases/ Apparently http://www.cwi.nl/projects/MetaEnv/aterm/ (the current master_sites setting) is permanently outdated, but I can't be sure of that. -Denis