Sun, 16 Aug 2009 00:41:24 +0200 | Simon Heimberg | extensions: pass ui arguement to extsetup if accepted | changeset | files |
Sat, 29 Aug 2009 00:29:16 +0200 | Martin Geisler | extensions: load and configure extensions in well-defined phases | changeset | files |
Fri, 28 Aug 2009 22:14:04 +0200 | Martin Geisler | highlight: move code from module top-level into extsetup | changeset | files |