# HG changeset patch
# User wenzelm
# Date 1544963064 -3600
# Node ID b3628ee55f28e17a2c446b1c36ee4cd32927e89e
# Parent  2633cf136335fd56217c03b6cab9c2beee12b657
tuned comments;

diff -r 2633cf136335 -r b3628ee55f28 src/Pure/Tools/ghc.ML
--- a/src/Pure/Tools/ghc.ML	Sun Dec 16 12:46:44 2018 +0100
+++ b/src/Pure/Tools/ghc.ML	Sun Dec 16 13:24:24 2018 +0100
@@ -45,7 +45,8 @@
 val print_string = quote o implode o map print_symbol o Symbol.explode;
 
 
-(* project setup *)
+
+(** project setup **)
 
 fun project_template {depends, modules} =
   \<^verbatim>\<open>{-# START_FILE {{name}}.cabal #-}