History for path src/DisplayOptions.hs
16 years ago Miguel Vilaca More Cleanup
19 years ago Miguel Vilaca Removes unnecessary features.
19 years ago Miguel Vilaca Small improvements and fixes
19 years ago Miguel Vilaca Rules edition
19 years ago Miguel Vilaca extend DisplayOptions and correct View Menu
19 years ago Malcolm.Wallace@cs.yor ... big one
19 years ago Malcolm.Wallace@cs.yor ... new info field on every node