| Mon, 06 Jul 2009 20:36:38 +0200 | wenzelm | clarified Thm.of_class/of_sort/class_triv; | changeset | files |
| Mon, 06 Jul 2009 19:58:52 +0200 | wenzelm | renamed inclass/Inclass to of_class/OfClass, in accordance to of_sort; | changeset | files |
| Sat, 04 Jul 2009 23:25:28 +0200 | wenzelm | renamed Delay to Swing_Thread.delay (action is executed within AWT thread!); | changeset | files |
| Sat, 04 Jul 2009 22:22:34 +0200 | wenzelm | Delayed action. | changeset | files |