Sat, 24 Sep 2005 10:47:22 +0200 | obua | bug fix | changeset | files |
Sat, 24 Sep 2005 07:57:50 +0200 | webertj | replay_proof optimized: now performs backwards proof search | changeset | files |
Sat, 24 Sep 2005 07:21:46 +0200 | webertj | code reformatted and restructured, many minor modifications | changeset | files |