Bugs and other stuff to do to complete the Matita 1/2 => Matita 1.0 transition.

[helm.git] / helm / software / metadata / sql / rating.sql

INSERT INTO hits
SELECT h_occurrence, COUNT(source)
FROM refObj
GROUP BY h_occurrence;