| Sat, 18 Jun 2011 15:18:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 17 Jun 2011 20:38:43 +0200 | kleing | IMP compiler with int, added reverse soundness direction | changeset | files |
| Sat, 18 Jun 2011 15:11:33 +0200 | wenzelm | proper place for config files; | changeset | files |
| Sat, 18 Jun 2011 15:07:16 +0200 | wenzelm | tuned markup; | changeset | files |
| Sat, 18 Jun 2011 14:48:56 +0200 | wenzelm | highlight via foreground painter, using alpha channel; | changeset | files |
| Sat, 18 Jun 2011 12:58:41 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 18 Jun 2011 12:49:55 +0200 | wenzelm | tuned text; | changeset | files |