Adding Eclipse Theme.
[php mode] Add some keywords.
Add another (undocumented) arg to addWidget for controlling horiziontal placement

If this is well-received, it'll be documented and become official.
Turn off autocapitalize and autocorrect in mobile Webkit
Put CSS mode link in right alphabetical place
Add a Pascal mode

Courtesy of sourceLair
Remove indentation for Pascal mode again

(Understanding block structure apparently requires non-trivial parsing for this
language)
Added NTriples mode
Fix problem with autocompletion demo in IE8

Also solves a breakage introduced by the theming change.
Properly tie gutter-updating into lazy update scheme

You can now make a series of gutter-changing operations efficient by wrapping
them in an editor.operation(x) call.
Fix python string literal quitting on first quote / double quote.
Corrected 2 typos in the manual.
Make sure the hidden textarea doesn't float outside of the editor's vertical space

This caused bogus scrollbars to appear on the main document in Opera and IE8.

Closes #190
Output mode info along with mime strings for getMIMEs method
make preview example work in IE 7/8
Handle double- and triple-click in a more consistent manner

Relevant to issue #179, though it doesn't yet implement double- and triple-drag.
Allow dragging out of a CodeMirror instance

Closes #163
Don't try to use drag-and-drop on browsers that don't support it
Mark release 2.14
Don't try to drag an empty selection