repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Richer Symbol Generation
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateTue, 08 Jan 2008 19:42:17
dateTue, 08 Jan 2008 19:42:17
hash20080108194217-970b1-2d41bd1c9f83f04561898acae6c5fa7db865cac3
Richer Symbol Generation

Easier creation of syntactical and computational symbols.
Addition of predefined management symbols.
1 file(s) changed:
src/CommonUI.hs +112 -20 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie