| Sun, 12 Jun 2011 16:19:29 +0200 | wenzelm | check source dependencies only if jedit_build component is available; | changeset | files |
| Sat, 11 Jun 2011 16:05:17 +0200 | wenzelm | cover method "deepen" concisely; | changeset | files |
| Sat, 11 Jun 2011 15:36:46 +0200 | wenzelm | moved/updated single-step tactics; | changeset | files |
| 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 |