Thu, 17 Jun 1999 10:35:01 +0200 | paulson | many new guarantees laws | changeset | files |
Thu, 17 Jun 1999 10:34:23 +0200 | paulson | moved image_UNION to Fun/image_UN | changeset | files |
Thu, 17 Jun 1999 10:33:43 +0200 | paulson | expandshort | changeset | files |
Thu, 17 Jun 1999 10:33:33 +0200 | paulson | renamed UNION_... to UN_... (to fit the convention) | changeset | files |
Thu, 17 Jun 1999 10:32:52 +0200 | paulson | renamed UNION_o to UN_o (to fit the convention) and added image_UN, image_INT | changeset | files |
Sun, 13 Jun 1999 13:57:31 +0200 | paulson | not working but taking shape | changeset | files |