| 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 |
| Mon, 29 Jun 2009 12:18:54 +0200 | haftmann | updated generated document | changeset | files |
| Sun, 28 Jun 2009 11:02:27 +0200 | haftmann | Executable_Set now based on Code_Set | changeset | files |
| Sun, 28 Jun 2009 10:33:36 +0200 | haftmann | added Inter, Union | changeset | files |