| Tue, 03 Aug 2010 16:21:33 +0200 | wenzelm | load_thy: refer to physical master directory (not accumulated source import directory) and enable loading files relatively to that; | changeset | files |
| 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 |
| Sun, 01 Aug 2010 18:57:49 +0200 | blanchet | fix bug with Kodkodi < 1.2.14 | changeset | files |
| Sun, 01 Aug 2010 17:43:51 +0200 | blanchet | merged | changeset | files |
| Sun, 01 Aug 2010 16:40:48 +0200 | blanchet | document new Nitpick options | changeset | files |
| Sun, 01 Aug 2010 16:35:25 +0200 | blanchet | tweak datatype sym break code | changeset | files |