next up previous contents
Next: Preprocessor options Up: Quick Start - Some Previous: Quick Start - Some   Contents


Preprocessing

The preprocessor attempts to manipulate a given expression into an internal form that should lead to a smarter search. This section highlights the main points regarding the use of preprocessing.



Subsections

John Franco 2011-09-15