Update helper message

makestatic.sh

@@ -6,7 +6,7 @@ die() { echo "$*" ; exit 1 ; }
 
 [ -d .git ] || die "$0 only works in the git-repository!"
 
-dir=cool-$(uname -m)-$(date +%Y-%m-%d)
+dir=cool-$(uname -m)-$(date +%Y-%m-%d-%H-%M)
 :: mkdir -p $dir
 :: pushd $dir
 :: git --git-dir=.git pull || :: git clone .. .

src/coalg/coalg.ml

@@ -42,11 +42,17 @@ let _ = Gc.set { (Gc.get()) with Gc.minor_heap_size = 4194304; major_heap_increm
 let printUsage () =
   print_endline "Usage: \"alc <task> <functor> [<flags>]\" where";
   print_endline "       <task> in { sat print nnf prov (is »not.(sat ¬f)«) }";
-  print_endline "       <functor> in { MultiModalK MultiModalKD CoalitionLogic GML";
-  print_endline "                      (or: K)     (or: KD)     (or: CL)";
+  print_endline "       <functor> in { MultiModalK (or equivalently K)";
+  print_endline "                      MultiModalKD (or equivalently KD)";
+  print_endline "                      CoalitionLogic (or equivalently CL)";
+  print_endline "                      PML";
+  print_endline "                      GML";
   print_endline "                    }";
-  print_endline "                 or <functor> + <functor>";
+  print_endline "                 where you can compose functors by:";
+  print_endline "                    <functor> + <functor> (weakest precedence)";
   print_endline "                 or <functor> * <functor>";
+  print_endline "                 or <functor> . <functor> (binds strongest)";
+  print_endline "                 (so K+KD.CL*PML stand for (K + ((KD.CL) * PML)))";
   print_endline "       <flags> = a list of the following items";
   print_endline "           --agents AGLIST";
   print_endline "             expects the next argument AGLIST to be a list of integers";