| Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | changeset | files |
| Tue, 30 Jun 2009 00:57:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 00:50:42 +0200 | wenzelm | more display; | changeset | files |
| Tue, 30 Jun 2009 00:57:06 +0200 | wenzelm | added icon; | changeset | files |
| Tue, 30 Jun 2009 00:46:28 +0200 | wenzelm | basic launch4j setup; | changeset | files |
| Tue, 30 Jun 2009 00:31:18 +0200 | wenzelm | fixed permissions; | changeset | files |
| Tue, 30 Jun 2009 00:14:30 +0200 | wenzelm | fixed permissions; | changeset | files |
| Mon, 29 Jun 2009 20:05:44 +0200 | berghofe | Corrected handling of bound variables. | changeset | files |
| Mon, 29 Jun 2009 14:55:08 +0200 | haftmann | merged | changeset | files |
| Mon, 29 Jun 2009 12:18:58 +0200 | haftmann | dropped Id | changeset | files |
| Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | explicit Set constructor for code generated for sets | changeset | files |
| Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | hide popular names | changeset | files |
| Mon, 29 Jun 2009 12:18:56 +0200 | haftmann | Executable_Set is now a simple wrapper around Fset | changeset | files |
| Mon, 29 Jun 2009 12:18:55 +0200 | haftmann | renamed theory Code_Set to Fset | changeset | files |