next up previous contents
Next: Most important data structures Up: Specifications Previous: Logging specifications   Contents

Compilation time options

Some options can/must be chosen at compilation time :



Biondi Philippe 2000-12-15