repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Symbol Deletion
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateMon, 26 Nov 2007 16:51:45
dateMon, 26 Nov 2007 16:51:45
hash20071126165145-970b1-bfba945ebd3c9b10e4523a29c506ec0db5ff800f
Symbol Deletion

Safe symbol deletion with check of symbol's occurrences.
3 file(s) changed:
src/CommonUI.hs +52 -0 diff | history | annotate
src/INChecks.hs +2 -0 diff | history | annotate
src/Palette.hs +5 -1 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie