projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09f0733) | patch
Tune the man-page cleaning code. This tuning is perhaps excessive, as
authorChris Hanson <org/chris-hanson/cph>
Sat, 4 Apr 1992 13:06:35 +0000 (13:06 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sat, 4 Apr 1992 13:06:35 +0000 (13:06 +0000)
commit6ce4f488dd169db8bece339c3c5949d953456b52
tree9c0c798913ee3ab612da5b01540dbdaa03d33c6atree | snapshot
parent09f073372a028e6d4e6571cefe1f6c71167e8a65commit | diff
Tune the man-page cleaning code.  This tuning is perhaps excessive, as
it turns out that most of the time was being lost in GROUP-DELETE! due
to a bug; perhaps the code should now be simplified.
v7/src/edwin/manual.scm diff | blob | history
MIT/GNU Scheme, Pucked