| Thu, 19 Apr 2012 23:15:58 +0200 | wenzelm | display Java 7 only code for now (cf. b9e2ed4b1579); | changeset | files |
| Thu, 19 Apr 2012 21:53:24 +0200 | wenzelm | some sidekick options for more advanced completion; | changeset | files |
| Thu, 19 Apr 2012 21:47:50 +0200 | wenzelm | custom ListCellRenderer with text area font ensures that symbols are displayed reliably; | changeset | files |
| Thu, 19 Apr 2012 21:42:24 +0200 | wenzelm | tuned imports; | changeset | files |
| Thu, 19 Apr 2012 19:54:48 +0200 | wenzelm | more robust wrt. exceptions; | changeset | files |
| Thu, 19 Apr 2012 15:47:32 +0200 | wenzelm | accomodate digits within Isar command names, notably 'try0'; | changeset | files |