| Sat, 22 Jun 2013 22:54:53 -0500 | Luke Hoersten | Cleaned up unused modes. | file | diff | annotate |
| Mon, 15 Oct 2012 20:31:39 -0500 | Luke Hoersten | Minor haskell updates. | file | diff | annotate |
| Sun, 20 Nov 2011 12:05:12 -0600 | Luke Hoersten | Changes to reflect Ubuntu 11.10 upgrade. | file | diff | annotate |
| Mon, 03 Oct 2011 09:55:09 -0500 | Luke Hoersten | Split out some init files. | file | diff | annotate |
| Sun, 05 Jun 2011 17:40:33 -0500 | Luke Hoersten | Fixed proved/require bugs. | file | diff | annotate |
| Wed, 18 May 2011 09:30:28 -0500 | Luke Hoersten | Split off programming language-specific custimizations to separate init files. | file | diff | annotate |