| Sat, 10 Sep 2011 19:44:41 +0200 | haftmann | more modularization | changeset | files |
| Sat, 10 Sep 2011 20:39:13 +0200 | wenzelm | stronger colors (as background); | changeset | files |
| Sat, 10 Sep 2011 20:22:22 +0200 | wenzelm | some color scheme for theory status; | changeset | files |
| Sat, 10 Sep 2011 16:30:08 +0200 | wenzelm | some keyboard shortcuts for important actions; | changeset | files |