| 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 |
| Sat, 27 Jul 2013 22:38:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 Jul 2013 22:20:25 +0200 | wenzelm | discontinued historic document formats; | changeset | files |