| Tue, 03 Aug 2010 15:53:36 +0200 | wenzelm | simplified/clarified Thy_Load path: search for master only, lookup other files relative to that; | changeset | files |
| Tue, 03 Aug 2010 08:23:08 +0200 | bulwahn | only test prolog code examples if environment variable is set | changeset | files |
| Mon, 02 Aug 2010 22:24:19 +0200 | ballarin | Revised proof of long division contributed by Jesus Aransay. | changeset | files |