CodeMirror
"CodeMirror is a versatile text editor implemented in JavaScript? for the browser"
CodeMirror website: http://codemirror.net/
Instructions (to do)
Add instructions
Credit
The attached file was made by modifying the python.js file that comes with CodeMirror.
python.js comes with the following license and copyright information:
// CodeMirror, copyright (c) by Marijn Haverbeke and others
// Distributed under an MIT license: http://codemirror.net/LICENSE