computer software used to facilitate
development of software applications that can run
on multiple platforms and other electronic devices;
operating system software for personal computers
and other electronic devices
IMHO It seems to refer to two things, the first one
being AmigaDE SDK or AmigaDE API and the
second one to AmigaDE itself.
if some kind, entitled, person can answer the next
question please feel free to do it:
Does the above text mean that trademark "Amiga"
for those two particular products has expired?