%s

(* ||M|| This file is part of HELM, an Hypertextual, Electronic ||A|| Library of Mathematics, developed at the Computer Science ||T|| Department, University of Bologna, Italy. ||I|| ||T|| HELM is free software; you can redistribute it and/or ||A|| modify it under the terms of the GNU General Public License \ / version 2 or (at your option) any later version. \ / This software is distributed as is, NO WARRANTY. V_______________________________________________________________ *) module KP = Printf module EG = RolesGlobal module EE = RolesEngine let open_out_html author description title css icon = (* YW.open_out "application/xhtml+xml" 0; *) KP.printf "\n"; KP.printf "\n"; KP.printf "\n"; KP.printf "\n"; KP.printf " \n"; KP.printf " \n"; KP.printf " \n"; KP.printf " \n"; KP.printf " \n"; KP.printf " \n"; KP.printf " \n" author; KP.printf " \n" description; KP.printf " %s" title; KP.printf " \n" css; KP.printf " \n" icon; KP.printf "\n"; KP.printf "\n" let close_out_html () = KP.printf "\n"; KP.printf "\n" (* YW.close_out () *) let open_out () = let author = "λδ development binary: roles manager" in let description = "λδ development binary: roles manager" in let title = "Roles Manager" in let css = Filename.concat !EG.base_url "css/roles.css" in let icon = Filename.concat !EG.base_url "images/crux_32.ico" in open_out_html author description title css icon let close_out () = close_out_html () let status_out () = let before_atoms a p count = let c, str = if a then "object", "objects" else "name", "names" in KP.printf "

\n" c; KP.printf "%s:\n" str; KP.printf "%s\n" count; KP.printf "

\n"; KP.printf "

\n" in let each_atom a p b str = let c = if a then "object" else "name" in let s = if b then " selected" else "" in KP.printf "\n" c s str in let after_atoms () = KP.printf "

\n" in EE.visit_status (before_atoms true) (each_atom true) after_atoms (before_atoms false) (each_atom false) after_atoms let init () = open_out (); status_out (); close_out ()