--- a/lib/Tools/update_cartouches Wed Nov 04 23:27:00 2015 +0100
+++ b/lib/Tools/update_cartouches Thu Nov 05 00:02:30 2015 +0100
@@ -15,6 +15,7 @@
echo "Usage: isabelle $PRG [FILES|DIRS...]"
echo
echo " Options are:"
+ echo " -c replace comment marker \"--\" by symbol \"\\<comment>\""
echo " -t replace @{text} antiquotations within text tokens"
echo
echo " Recursively find .thy files and update theory syntax to use cartouches"
@@ -30,11 +31,15 @@
# options
+COMMENT="false"
TEXT="false"
-while getopts "t" OPT
+while getopts "ct" OPT
do
case "$OPT" in
+ c)
+ COMMENT="true"
+ ;;
t)
TEXT="true"
;;
@@ -57,4 +62,4 @@
## main
find $SPECS -name \*.thy -print0 | \
- xargs -0 "$ISABELLE_TOOL" java isabelle.Update_Cartouches "$TEXT"
+ xargs -0 "$ISABELLE_TOOL" java isabelle.Update_Cartouches "$COMMENT" "$TEXT"