Add [X]HTML5 DTD to header

[hcoop/portal.git] / pref.sig

diff --git a/pref.sig b/pref.sig
index 1bf518a..e3cb7d7 100644 (file)
--- a/pref.sig
+++ b/pref.sig
@@ -3,4 +3,8 @@ sig
     val hasDirectory : int -> bool
     val setDirectory : int -> unit
     val unsetDirectory : int -> unit
+
+    val subscribed : string * string -> bool
+    val subscribe : string * string -> bool
+    val unsubscribe : string * string -> bool
 end
\ No newline at end of file