[Demexp-cvs] Renaming of path_to_bit_vector into path_and_subpaths_to_bit_vector (Classification). Addition of Classification.path_to_bit_vector, Classification.classification_overlap and Classification.classification_equal. Also classification_to_string. Addition of reverse hash-table in classification, from keyword_id |-> keyword entry. Complete rewrite of Delegation: we are now using bit vectors (Dbitv module) instead of classification_path. Addition of Fred and Felix in the Thank You. Code in module Work not updated yet.

[David Mentré]

Commit from dmentre (2003-10-23 16:01 EDT)
-------------------

Renaming of path_to_bit_vector into path_and_subpaths_to_bit_vector 
(Classification). Addition of Classification.path_to_bit_vector, 
Classification.classification_overlap and Classification.classification_equal. 
Also classification_to_string. Addition of reverse hash-table in 
classification, from keyword_id |-> keyword entry. Complete rewrite of 
Delegation: we are now using bit vectors (Dbitv module) instead of 
classification_path. Addition of Fred and Felix in the Thank You. Code in 
module Work not updated yet.

  demexp  srv/classification.ml.nw    1.14
  demexp  srv/delegation.ml.nw        1.14
  demexp  srv/demexp-server-book.tex  1.27
  demexp  srv/posbase.ml.nw           1.13
  demexp  srv/work.ml.nw              1.19