git.oblomov.eu Git - ohcount/blob - test/src_dir/coq.v

   1 Require Import String.
   2 (* comment *)
   3 Check "multiline
   4 string"%string.
   5
   6 (* multiline
   7    comment *)
   8
   9 (* recursion in (* a
  10    comment *) to complicate things *)