Did you know? Advice for choosing 32/64 bitsSearch Documentation:
Liberation Day in the NetherlandsTitle for pldoc(object(section(3,'3.3.2',swi('/doc/Manual/editreload.html'))))