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 |
Sun, 30 Jul 2006 21:28:55 +0200 | wenzelm | export: refrain from adjusting maxidx; | changeset | files |
Sun, 30 Jul 2006 21:28:54 +0200 | wenzelm | adjust_maxidx: pass explicit lower bound; | changeset | files |