![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| READ_ME | 2002-03-07 13:36 | 281 | |
| dining.h | 2002-03-07 13:36 | 822 | |
| main.c | 2002-03-07 13:36 | 363 | |
| makefile | 2002-03-07 13:36 | 430 | |
| phil.c | 2002-03-07 13:36 | 459 | |
| pick_up.c | 2002-03-07 13:36 | 664 | |
| put_down.c | 2002-03-07 13:36 | 175 | |
| semaphore.c | 2002-03-07 13:36 | 166 | |
| signal.c | 2002-03-07 13:36 | 173 | |
| wait.c | 2002-03-07 13:36 | 187 | |