(*
- * Copyright (C) 2000, HELM Team.
+ * Copyright (C) 2003, HELM Team.
*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
method iter: (string -> string -> unit) -> unit
method sync: unit
method clear: unit
+
+ method close: unit (* use with caution! *)
end