- ([ tag "PAGE", string_of_int page; tag "PAGES", string_of_int pages ] @
- [ tag "PREV_LINK",
- if page > 1 then page_link "Prev" (page-1) else "" ] @
- [ tag "NEXT_LINK",
- if page < pages then page_link "Next" (page+1) else "" ]),
- MooglePp.theory_of_result req page results
+ let pages = if pages = 0 then 1 else pages in
+ let (summary, results) = MooglePp.theory_of_result page results in
+ [ tag "PAGE", string_of_int page;
+ tag "PAGES", string_of_int pages;
+ tag "PREV_LINK", (if page > 1 then page_link "Prev" (page-1) else "");
+ tag "NEXT_LINK",
+ (if page < pages then page_link "Next" (page+1) else "");
+ tag "QUERY_KIND", query_kind;
+ tag "QUERY_SUMMARY", summary;
+ tag "RESULTS", results ]