- autoconf automake
- rewrite makegrid in wm.c (AGX please change gringo grid's API)
- objects dump
- documentation
- checkbox valore iniziale
