1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
|
(**************************************************************************)
(* bibtex2html - A BibTeX to HTML translator *)
(* Copyright (C) 1997-2014 Jean-Christophe Filliâtre and Claude Marché *)
(* *)
(* This software is free software; you can redistribute it and/or *)
(* modify it under the terms of the GNU General Public *)
(* License version 2, as published by the Free Software Foundation. *)
(* *)
(* This software is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. *)
(* *)
(* See the GNU General Public License version 2 for more details *)
(* (enclosed in the file GPL). *)
(**************************************************************************)
(*s Filtering and saturating BibTeX files. *)
open Bibtex
(*s [filter bib f] returns the set of keys of [bib] whose fields
satisfy the filter criterion [f]. *)
val filter :
biblio ->
(entry_type -> key -> ((string * atom list) list) -> bool) ->
KeySet.t
(*s [saturate bib s] returns the smallest part of the bibliography
[bib] containing all the keys in s together with all the necessary
abbreviation strings and cross-references. *)
val saturate : biblio -> KeySet.t -> KeySet.t
|