I am a newcomer to WinEdt 7.1 Where can I find a simple explanation for terms such as PDFTeX, PDFLaTeX, and PDFTexify?
The following, rather than an answer, wants to be a clarification...
While Doncherry is right about PDFTeX and PDFLaTeX, the meaning of PDFTeXify in WinEdt is not what one might think at a first glance.
In fact (taking the term from MiKTeX
In other words, when in WinEdt you press the button
These commands don't necessarily make use of MiKTeX
Moreover, these commands are customizable so you can decide, for example, to use
Some additional packages available at the site winedt.org also permit to add additional functionalities to the above commands like compiling nomenclatures, inline asymptote figures, etc.