Tools


next up previous contents
Next: Examples Up: Jinx Previous: name edit

Tools

See man jinx for the description of some support tools.


LOTOS TOOLS in TWENTE
Fri Oct 7 13:30:15 MET 1994