| Sun, 08 Oct 2000 17:47:56 +0000 |
Dave Love |
Fix header line, copyright notice.
|
| Mon, 24 Jul 2000 11:13:40 +0000 |
Gerd Moellmann |
(ada-stmt-add-to-ada-menu): Hide the menu if not in
|
| Thu, 28 Oct 1999 11:03:31 +0000 |
Gerd Moellmann |
Changed format of years in copyright notices.
|
| Tue, 12 Oct 1999 22:18:31 +0000 |
Gerd Moellmann |
Doc-string fixes.
|
| Thu, 07 Oct 1999 14:32:32 +0000 |
Gerd Moellmann |
(ada-stmt-add-to-ada-menu): New function
|
| Mon, 14 Dec 1998 03:22:44 +0000 |
Karl Heuer |
Update comment.
|
| Mon, 14 Dec 1998 03:18:06 +0000 |
Karl Heuer |
Initial revision
|
