Mon, 08 Mar 2010 14:41:56 +0100 | haftmann | proper ML interface; further polishing | changeset | files |
Mon, 08 Mar 2010 13:22:41 +0100 | haftmann | code simplification and tuning | changeset | files |
Mon, 08 Mar 2010 15:00:34 +0100 | berghofe | Added inducts field to inductive_result. | changeset | files |
Mon, 08 Mar 2010 09:38:59 +0100 | haftmann | transfer: avoid camel case, more standard coding conventions, misc tuning | changeset | files |
Mon, 08 Mar 2010 09:38:58 +0100 | haftmann | transfer: avoid camel case | changeset | files |
Sun, 07 Mar 2010 17:33:01 -0800 | huffman | merged | changeset | files |