The following table lists software we had to port to Linux. The effort expended on these ports varied from simple recompilation to significant configuration and debugging.
|Xtpanel||Simple GUI script language|
|xtex||DVI viewer with active push buttons|
|SEPlib||SEP's processing system|
|gmake||SEP's patched copy of GNU make-3.74|
|gmake rules||SEP's makefile rules|
|setup||SEP's shared environment|
|automounter map||System file for mounting information|