(* * bibtex2html - A BibTeX to HTML translator * Copyright (C) 1997-2000 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). *) (*i $Id: latex_accents.mli,v 1.4 2003/10/03 15:37:30 marche Exp $ i*) (* replace LaTeX control sequences for special characters. first arg is a boolean to tell if result should be a regexp, i.e escaping some characters *) val normalize : bool-> string -> string