cgd
|
57fb77a14e
|
new RCS ID format.
|
1994-10-26 07:48:18 +00:00 |
|
mycroft
|
d2f28a1124
|
Someone made a typo.
|
1994-04-11 01:15:47 +00:00 |
|
chopps
|
8ae488d659
|
protect against multiple inclusion
|
1994-04-10 02:22:09 +00:00 |
|
mycroft
|
a5b04640d7
|
Adjust DBL_MIN so it doesn't underflow.
|
1993-08-15 15:46:35 +00:00 |
|
mycroft
|
8c11b590fb
|
Adjust DBL_MAX so it doesn't overflow.
|
1993-08-15 15:45:51 +00:00 |
|
cgd
|
30177b538f
|
add rcsids to everything and clean up headers
|
1993-05-22 07:56:12 +00:00 |
|
cgd
|
6dedb5151c
|
add hp300 kernel files. generic kernel files might need some help...
|
1993-05-13 13:56:20 +00:00 |