| Sun, 21 Aug 2011 19:47:52 +0200 | haftmann | avoid pred/set mixture | changeset | files |
| Sun, 21 Aug 2011 22:04:01 +0200 | wenzelm | merged | changeset | files |
| Sun, 21 Aug 2011 11:03:15 -0700 | huffman | remove unnecessary euclidean_space class constraints | changeset | files |
| Sun, 21 Aug 2011 09:46:20 -0700 | huffman | section -> subsection | changeset | files |
| Sun, 21 Aug 2011 09:38:31 -0700 | huffman | scale dependency graph to fit on page | changeset | files |
| Sun, 21 Aug 2011 21:24:42 +0200 | wenzelm | more robust initialization of token marker and line context wrt. session startup; | changeset | files |
| Sun, 21 Aug 2011 20:42:26 +0200 | wenzelm | tuned Parse.group: delayed failure message; | changeset | files |
| Sun, 21 Aug 2011 20:25:49 +0200 | wenzelm | avoid actual Color.white, which would be turned into Color.black by org.gjt.sp.jedit.print.BufferPrintable; | changeset | files |