In my opinion, tla-tips-number shouldn't be stored using customize. There are several reasons:
1) I keep my .emacs file in RCS, and therefore it is often locked. 2) If I have compiled my .emacs. the tip number will be overridden by the one in .emacs.elc 3) It seems to me that customize is meant for user-initiated configuration. It probably shouldn't be used to store program state. This is debatable, but I was surprised to have xtla change my .emacs without warning. Under Unix, it could be stored somewhere like ~/.xtla-tip-num. I'm not sure about windows. Dan
