Check Special Symbols definitions
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateWed, 12 Sep 2007 14:57:57
dateWed, 12 Sep 2007 13:57:57
hash20070912135757-970b1-d2556748de5d1174543c3500ec1124312d7bb7a3
Check Special Symbols definitions

Check if special symbols definitions correspond to the default ones.
6 file(s) changed:
Makefile +13 -4
src/INChecks.hs +37 -3
src/INRule.hs +3 -1
src/INTextual.hs +3 -2
src/NetworkUI.hs +10 -19
src/SpecialSymbols.hs [added]