perm filename MAY.MSG[2,TES] blob sn#044612
filedate 1973-05-18 generic text, type T, neo UTF8
NMG BUG: ⊂ NEXT FOOTNOTE;VARIABLE Z;Z←"↑"&!;
where COUNT PAGE has a PRINTING ⊂...⊃
and COUNT FOOTNOTE INLINE IN PAGE has no printing clause:
The value of ! seems to be PAGE! instead of FOOTNOTE!
He says it does not happen when the PRINTING clause is omitted from PAGE.
NMG BUG: "SEND FOOT" IN THE FIRST LINE OF A NEW PAGE CALLS
ASSUREAREA - OPENFRAME I GUESS, WHICH CAUSES A BREAK!
∂07-MAY-73 2013 L70,DAV
P.S. TO THE MESSAGE BELOW: SEE PPSAV.DAT FOR INFO ON AN ILL MEM REF BUG. -- DAVE
∂07-MAY-73 2010 L70,DAV AT TTY37
FIXED SEVERAL BUGS. THE CHANGES I MADE ARE MARKED ON THE LISTINGS (WHICH
ARE ALL CURRENT) ON THE TABLE. STILL SOME PROBLEMS HAVING TO DO WITH LODE_CONSTANT,
I THINK. I'M NOT SURE ABOUT MY CHANGE IN COMPEXP, BUT IT SEEMED TO MAKE THINGS
-- DAVE, MON 8PM
00100 REFERENCE FOR REWRITE RULES IN IJCAI PAPER:
00300 GUZMAN, ADOLFO AND MCINTOSH, HAROLD
00500 CACM 9, 8 (AUG., 1966) PP. 604-615
00700 Invite RLR to meeting to decide about stopgap XGP PUB.
01000 ∂04-MAY-73 1914 L70,DAV
01200 I TRIED TO RECOMPILE COMP & RAN INTO A BUG (ILL MEM REF FROM GET)
01300 TRYING TO COMPILE INTRIN. I DIDN'T HAVE TIME TO TRACK THE BUG DOWN, BUT
01400 THE COMP2 ON THE DISK IS OK SINCE IT IS STILL THE OLD ONE. WE'LL HAVE TO
01500 MAKE SOME MORE CHANGES TO COMP ANYWAY, SO WE CAN RECOMPILE IT THEN.
01600 -- DAVE
01900 ∂03-MAY-73 0113 1,RLR
02000 Hi. This is Ron Rivest (ppn = RLR). I'm using PUB to type my thesis onto
02100 the system (who isn't?), and I'm also planning to use the XGP to get
02200 a nice copy out when I'm done (who isn't). I think it's all going to
02300 work great except for one thing: subscripts! Is there any way
02400 (PUB macros, etc.) to get MRPP3 style subscripting from PUB. It seems
02500 a quite simple thing to do, if one is willing to run the FN.DOC file
02600 through MRPP3, say, but then we need to get PUB to turn an input
02700 such as "x↓[i3]" into something like "x$∪i3$⊗" without counting the
02800 $∪ and $⊗ in the character count for line justification. Really that
02900 is all that is needed, is some way to get text onto a PUB output line
03000 which hasn't ever been counted in the character count for that line.
03100 Is there a good way to do this (if not that, a bad way)?
03600 ∂02-MAY-73 1151 1,BB
03700 Just discovered that I need to know the degrees of the cusps. . . bb
04000 ∂02-MAY-73 1040 LDE,DCS
04200 Looks like I won't be coming in May. Hope to come sometime in June.
04300 We should be able to discuss things over the net or, horrors, on the
04400 telephone. We are trying to decide how much we can commit for
04500 the summer -- will let you know asap.
04700 Thanks for responding to the Pub problem; I understand and appreciate your
04800 position. I'll try to generate a small tickler.
05000 Hal and Greg are busy implementing a thing to pick up stuff
05100 from our dpy, convert it into the DIFF (device-independent file format),
05200 and then dump it on the XGP. That seemed like a good way to
05300 exercise the DIFF (and also to force a precise definition). Will let you
05400 know how things go with it. We still think that there is a need
05500 (desirability) to ship DOC files around (as DIFF format) rather than
05600 ms files -- time will tell.
05700 Will get more to you when we have it.
06100 ∂02-MAY-73 0917 1,BB
06200 yes, I'd very much like to learn to run your program. BB