| Sat, 31 Mar 2012 19:26:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Mar 2012 19:09:59 +0200 | wenzelm | more direct Local_Defs.contract; | changeset | files |
| Sat, 31 Mar 2012 15:29:49 +0200 | wenzelm | more precise Local_Defs.expand wrt. *local* prems only; | changeset | files |
| Sat, 31 Mar 2012 15:21:35 +0200 | wenzelm | tuned comment; | changeset | files |
| Fri, 30 Mar 2012 21:08:00 +0200 | wenzelm | more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now; | changeset | files |
| Fri, 30 Mar 2012 19:36:41 +0200 | wenzelm | tuned; | changeset | files |