On Fri, 11 Jul 2003, Bill Janssen wrote:
> It's hard to tell with the record-ID code. It took me a long time to
> get it to work right, and I *do* know Python. In general, people
> working on the Python distiller really should. But I think that your
> approach should work in theory. Let me suggest that another way to
> approach this issue would be to change the way in which you search a
> particular "page" of the document.
I don't think this is feasible. One can do the subpage searching, but
it's slower, and harder to control (e.g., for restarting a search).
It really shouldn't be that hard to keep the order straight. My mods seem
to work, but need someone who knows Python to have a closer look at them.
(I've got an updated patch if anybody wants to look at it.) If nobody
volunteers, I guess I'll just use the patched version myself and see how
it goes.
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
