| 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 |
| Thu, 19 Apr 2012 15:02:13 +0200 | wenzelm | more robust Sledgehammer in Prover IDE; | changeset | files |