| Sun, 28 Jul 2013 20:51:15 +0200 | wenzelm | prefer examples that work out of the box; | changeset | files |
| Sun, 28 Jul 2013 20:50:44 +0200 | wenzelm | breakable @{file}; | changeset | files |
| Sun, 28 Jul 2013 20:10:59 +0200 | wenzelm | prefer existing swipl; | changeset | files |
| Sun, 28 Jul 2013 20:10:21 +0200 | wenzelm | avoid machine running batch process for months; | changeset | files |
| Sun, 28 Jul 2013 12:59:59 +0200 | traytel | more converse(p) theorems; tuned proofs; | changeset | files |
| Sat, 27 Jul 2013 22:44:04 +0200 | wenzelm | more uniform cleanup; | changeset | files |