Tue, 23 Apr 2002 20:24:40 +0000 |
Colin Walters |
(gamegrid-add-score-with-update-game-score): Handle the case where
|
Sat, 13 Apr 2002 20:26:36 +0000 |
Colin Walters |
(gamegrid-add-score-with-update-game-score): Renamed from `gamegrid-add-score'.
|
Wed, 10 Apr 2002 23:16:45 +0000 |
Colin Walters |
Fix previous change.
|
Wed, 10 Apr 2002 19:13:35 +0000 |
Colin Walters |
(gamegrid-add-score): Rewrite from scratch to use `update-game-score'.
|
Sun, 03 Mar 2002 14:13:53 +0000 |
Richard M. Stallman |
(gamegrid-set-font, gamegrid-setup-face)
|
Wed, 06 Feb 2002 11:34:07 +0000 |
Eli Zaretskii |
(gamegrid-display-type): Treat any
|
Mon, 26 Nov 2001 16:16:45 +0000 |
Pavel Jank |
(gamegrid-init-buffer): Use insert instead of insert-string.
|
Mon, 16 Jul 2001 09:10:19 +0000 |
Pavel Jank |
Some fixes to follow coding conventions.
|
Sun, 14 Jun 1998 21:32:23 +0000 |
Richard M. Stallman |
Initial revision
|