| Sun, 05 Jun 2011 17:40:33 -0500 | Luke Hoersten | Fixed proved/require bugs. | changeset | files |
| Wed, 18 May 2011 09:30:28 -0500 | Luke Hoersten | Split off programming language-specific custimizations to separate init files. | changeset | files |
| Mon, 16 May 2011 21:07:24 -0500 | Luke Hoersten | Cleaned up broken python mode stuff. | changeset | files |
| Mon, 16 May 2011 20:54:04 -0500 | Luke Hoersten | Removed unicode and pretty-modes for better alignment. | changeset | files |