Mon, 31 Jul 2006 15:29:36 +0200 | webertj | code reformatted | changeset | files |
Mon, 31 Jul 2006 14:08:42 +0200 | berghofe | Additional freshness constraints for FCB. | changeset | files |
Sun, 30 Jul 2006 21:28:59 +0200 | wenzelm | proper Element.generalize_facts; | changeset | files |
Sun, 30 Jul 2006 21:28:58 +0200 | wenzelm | add_consts: proper Sign.full_name; | changeset | files |
Sun, 30 Jul 2006 21:28:57 +0200 | wenzelm | added generalize_facts; | changeset | files |
Sun, 30 Jul 2006 21:28:56 +0200 | wenzelm | added maxidx_values; | changeset | files |