Admin/ProofGeneral/4.1/dif

 > (defcustom proof-strict-read-only t
 345c345
 < (defcustom proof-full-annotation t
 ---
 > (defcustom proof-full-annotation nil
-diff -r ProofGeneral-4.1pre101216/isar/interface ProofGeneral-4.1pre101216-p1/isar/interface
-3,4d2
-< # interface,v 11.0 2010/10/10 22:57:07 da Exp
-< #
-23a22
->   echo "    -f FONT      specify Emacs font"
-56a56
-> FONT=""
-66c66
-<   while getopts "L:U:g:k:l:m:p:u:w:x:" OPT
----
->   while getopts "L:U:f:g:k:l:m:p:u:w:x:" OPT
-75a76,78
->       f)
->         FONT="$OPTARG"
->         ;;
-135a139,143
-> if [ -n "$FONT" ]; then
->   ARGS["${#ARGS[@]}"]="-fn"
->   ARGS["${#ARGS[@]}"]="$FONT"
-> fi
-> 
-diff -r ProofGeneral-4.1pre101216/isar/interface-setup.el ProofGeneral-4.1pre101216-p1/isar/interface-setup.el
-13a14,19
-> ;; Tool bar
-> ;;
-> 
-> (if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
-> 
-> ;;
+