todo.txt

//@todo *

Most important
--------

bullet proof license agreement

better positioning of what Orbital library does (not like Lotus Notes).

combine depth and lexicographic order for ordered resolution. Compare for term depths, and, in case of equality on all term depths, compare lexicographically for terms, stopping at the first incomparable position (variable and constant or distinct variables).

fix errors
--------

orbital.moon.logic.ModalLogic has inadequate type for worlds. (needs typed logic)

deprecated
----------
orbital.moon.awt.Demonstratos

orbital.io.encoding.Data* ?

orbital.io.*deprecated
orbital.io.Token

other things
----------
DefaultCustomizer.setTruncation() document

Orbital package-namen und struktur(!), sowie Package-Einteilung überdenken. Bei den diversen Utility-Klassen muß auch die Aufteilung der Methoden überprüft werden. see changes.txt

- implement RemoteThreads that are obtained from a ThreadQueue and executed on a remote host on demand. Requires mobility! @see com.objectspace.voyager.mobility.Mobility

test whether BindFunction.derive() etc really fulfill:
	scalar-product:	(x . y)' = (y, x)
	quadrat. fkt:	(x . x)' = 2x = (||x||^2)'
	Euclidian-norm:	(||x||)' = (Sqrt(||x||^2))' = x / ||x||