Mon, 20 Jan 1997 01:10:38 +0000 |
Geoff Voelker |
Update include conditionals to use new name.
|
Mon, 20 Jan 1997 01:07:48 +0000 |
Geoff Voelker |
Change uses of win32 to w32.
|
Mon, 20 Jan 1997 01:00:08 +0000 |
Geoff Voelker |
Use new name w32gui.h.
|
Mon, 20 Jan 1997 00:58:23 +0000 |
Geoff Voelker |
Use new name w32gui.h
|
Mon, 20 Jan 1997 00:43:16 +0000 |
Geoff Voelker |
Change all uses of win95, winnt, and win32 into Windows 95, Windows
|
Mon, 20 Jan 1997 00:39:13 +0000 |
Geoff Voelker |
(term_init): Use new name initialize_w32_display.
|
Mon, 20 Jan 1997 00:38:22 +0000 |
Geoff Voelker |
Change all uses of win95, winnt, and win32
|