By the way, when new options get added, are people trying to keep the
prefs backwards compatible, and if so, how? (When I added the multiple
term search and transliteration search options, I used bitfields of an
existing pref item, the case-free search one.) Alex
--
Dr. Alexander R. Pruss || e-mail: ap85 at georgetown.edu
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)
More information about the plucker-dev mailing list