removing some old files

[helm.git] / helm / software / helena / src / common / marks.mli

diff --git a/helm/software/helena/src/common/marks.mli b/helm/software/helena/src/common/marks.mli
index ff5a681093d790adeafa7a01f7916d9fd0895e78..e6d1faea79274f85652087f88af4e66cb131903c 100644 (file)
--- a/helm/software/helena/src/common/marks.mli
+++ b/helm/software/helena/src/common/marks.mli
@@ -9,8 +9,14 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val locations: unit -> int
+type mark
 
-val new_location: unit -> int 
+val marks: unit -> int
 
-val new_mark: unit -> Entity.attr
+val new_mark: unit -> mark 
+
+val null_mark: mark
+
+val string_of_mark: mark -> string
+
+val clear_marks: unit -> unit