| Wed, 12 Feb 2014 17:02:08 +0000 | mjsousa | Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT. | changeset | files |
| Tue, 11 Feb 2014 10:55:27 +0000 | mjsousa | merge | changeset | files |