X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fproblems.ml;h=cb4218c49068a8f29a0331c4bedcadbaf5f41f03;hb=4f38fd688913f856c80ce24254e0f41314dabbea;hp=cd57451a70230816031c6264b75c7c16ab9f3dfe;hpb=f7ba4d1225ca4fb09750f3d23b197b8372f1350b;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index cd57451..cb4218c 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -1,6 +1,22 @@
 open Lambda4;;
 open Util;;
 
+(* Syntax for problem files in problem/ folder:
+
+- dollar ($) on newline
+  begin new problem
+  $! means that the problem is expected to be separable,
+  $? means that it is expected to be unseparable
+
+- (#) on new line
+  comment line
+
+- (D) (C) (N) stand respectively for divergent, convergent, numeric
+
+- lines starting with spaces inherit the type from the last line
+
+*)
+
 let assert_separable x =
  match solve x with
  | `Separable _ -> ()