| Sat, 11 Jun 2011 15:03:31 +0200 | wenzelm | tuned sections; | changeset | files |
| Sat, 11 Jun 2011 14:27:23 +0200 | wenzelm | reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl; | changeset | files |
| Sat, 11 Jun 2011 07:50:28 +0200 | haftmann | tuned comment | changeset | files |