diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-02 01:01:29 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-02 01:01:29 +0000 |
| commit | 4880f7020a76b8135586e5d1262ddf69de8a1bbe (patch) | |
| tree | ea2530140ed655d5def33fba0638eb1278bf390b /devio | |
| parent | 661dcbc1e978bb49ff9a0eea77696afffe1e99ea (diff) | |
(problem, warning, pextend, pfail): New functions.
(pinode, pfix, reply): Use new problem recording stuff.
(push_problem, resolve_problem, flush_problems): New functions.
(struct problem): New type.
(problems, free_problems): New variables.
(retch, punt): New functions.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions