repos
/
INblobs
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Richer Symbol Generation
author
Miguel Vilaca <jmvilaca@di.uminho.pt>
local date
Tue, 08 Jan 2008 19:42:17
date
Tue, 08 Jan 2008 19:42:17
hash
20080108194217-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