diff -r 97261e6c1d42 -r 3480725c71d2 lib/Tools/update_cartouches
--- a/lib/Tools/update_cartouches	Tue Oct 20 20:45:33 2015 +0200
+++ b/lib/Tools/update_cartouches	Tue Oct 20 23:03:46 2015 +0200
@@ -14,6 +14,9 @@
   echo
   echo "Usage: isabelle $PRG [FILES|DIRS...]"
   echo
+  echo "  Options are:"
+  echo "    -t           replace @{text} antiquotations within text tokens"
+  echo
   echo "  Recursively find .thy files and update theory syntax to use cartouches"
   echo "  instead of old-style {* verbatim *} or \`alt_string\` tokens."
   echo
@@ -25,6 +28,27 @@
 
 ## process command line
 
+# options
+
+TEXT="false"
+
+while getopts "t" OPT
+do
+  case "$OPT" in
+    t)
+      TEXT="true"
+      ;;
+    \?)
+      usage
+      ;;
+  esac
+done
+
+shift $(($OPTIND - 1))
+
+
+# args
+
 [ "$#" -eq 0 -o "$1" = "-?" ] && usage
 
 SPECS="$@"; shift "$#"
@@ -33,4 +57,4 @@
 ## main
 
 find $SPECS -name \*.thy -print0 | \
-  xargs -0 "$ISABELLE_TOOL" java isabelle.Update_Cartouches
+  xargs -0 "$ISABELLE_TOOL" java isabelle.Update_Cartouches "$TEXT"