Huh? Isn't their M4 80MHz? It has PWM pins if i read correctly.
Well, the LM4F description says its Flash memory runs as single-cycle up to 40MHz sustained or slightly higher due to the presence of a prefetch buffer. You will get 80MHz if running your entire code from RAM or if your code calls some Stellarisware libraries (for the peripherals) stored in its internal ROM (single cycle as well).
The F28027 flash memory runs at full clock speed (60MHz) but does not have any library stored in ROM.
Yep, you are right regarding the PWM outputs...
Another interesting thing on this F28x Launchpad is the presence of an isolated JTAG - probably that is what the price difference comes from.