commenting in generator, updating reasme_dev for start config

C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy

@@ -156,7 +156,7 @@ fun handle_declarations_wrapper ast v2 ctxt =
   end
 \<close>
 
-(*setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close> *)
+setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close> 
 
 (* Note: The hook "C_Module.C_Term.map_translation_unit" is not adequate, as it is 
          meant for the term antiquotation (its callback returns a term, not a theory/context *)

README_dev

@@ -9,3 +9,6 @@ START FOR EXAMPLE:
 cd Isabelle_C
 isabelle jedit -d . C11-BackEnds/Clean_wrapper/examples/Coder_Test_ExprStmt.thy
 
+Branch LorenzWinkler:
+cd Isabelle_C
+isabelle jedit -d C11-FrontEnd -d C11-BackEnds/Clean C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy