Mon, 20 Aug 2007 20:44:02 +0200 | wenzelm | with_modes []: non-critical; | changeset | files |
Mon, 20 Aug 2007 20:44:01 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 20 Aug 2007 20:44:00 +0200 | wenzelm | File.read/write/append: non-critical (basic IO operations already thread-safe); | changeset | files |
Mon, 20 Aug 2007 20:43:59 +0200 | wenzelm | TextIO.inputLine: non-critical (assume exclusive ownership); | changeset | files |
Mon, 20 Aug 2007 20:43:58 +0200 | wenzelm | tuned merge operations via pointer_eq; | changeset | files |
Mon, 20 Aug 2007 20:38:32 +0200 | huffman | cleaned up; declared more simp rules | changeset | files |
Mon, 20 Aug 2007 20:36:19 +0200 | krauss | issue a warning, when encountering redundant equations (covered by prece3ding clauses) | changeset | files |