| Mon, 10 Oct 2005 03:55:39 +0200 | huffman | replaced foldr' with foldr1 | changeset | files |
| Mon, 10 Oct 2005 03:47:00 +0200 | huffman | cleaned up; renamed "Porder.op <<" to "Porder.<<" | changeset | files |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | changeset | files |
| Sat, 08 Oct 2005 23:43:15 +0200 | wenzelm | tuned Memory.hilim; | changeset | files |
| Sat, 08 Oct 2005 23:43:14 +0200 | wenzelm | get rid of feeder -- at the cost of batch-only commit-at-exit; | changeset | files |
| Sat, 08 Oct 2005 23:36:01 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sat, 08 Oct 2005 23:05:59 +0200 | wenzelm | -nort option; | changeset | files |