| Fri, 01 Apr 2011 10:06:19 +0100 | Mario de Sousa | Updating License info (with Edoaurd's permission for relevant files). | changeset | files |
| Fri, 01 Apr 2011 10:03:22 +0100 | Mario de Sousa | Adding some debug info | changeset | files |
| Thu, 31 Mar 2011 21:06:36 +0100 | Mario de Sousa | Do not crash when checking semantics of undeclared symbolic_variable. | changeset | files |
| Thu, 31 Mar 2011 17:40:55 +0100 | Mario de Sousa | Updating licensing information. | changeset | files |