Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/4.1/dif
author blanchet
Mon, 06 Jun 2011 20:36:35 +0200
changeset 43189 0ab7265f659f
parent 41647 5e70526a1947
child 44952 28a11f5fd3b8
permissions -rw-r--r--
tuning
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41647
5e70526a1947 adhoc patches relative to ProofGeneral-4.1pre101216, which has setprefs working;
wenzelm
parents: 41645
diff changeset 
     1
 
diff -r ProofGeneral-4.1pre101216/generic/proof-useropts.el ProofGeneral-4.1pre101216-p1/generic/proof-useropts.el
41645
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     2
 
121c121
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     3
 
< (defcustom proof-strict-read-only 'retract
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     4
 
---
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     5
 
> (defcustom proof-strict-read-only t
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     6
 
345c345
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     7
 
< (defcustom proof-full-annotation t
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     8
 
---
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
     9
 
> (defcustom proof-full-annotation nil
41647
5e70526a1947 adhoc patches relative to ProofGeneral-4.1pre101216, which has setprefs working;
wenzelm
parents: 41645
diff changeset 
    10
 
diff -r ProofGeneral-4.1pre101216/isar/interface ProofGeneral-4.1pre101216-p1/isar/interface
41645
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    11
 
3,4d2
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    12
 
< # interface,v 11.0 2010/10/10 22:57:07 da Exp
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    13
 
< #
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    14
 
23a22
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    15
 
>   echo "    -f FONT      specify Emacs font"
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    16
 
56a56
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    17
 
> FONT=""
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    18
 
66c66
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    19
 
<   while getopts "L:U:g:k:l:m:p:u:w:x:" OPT
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    20
 
---
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    21
 
>   while getopts "L:U:f:g:k:l:m:p:u:w:x:" OPT
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    22
 
75a76,78
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    23
 
>       f)
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    24
 
>         FONT="$OPTARG"
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    25
 
>         ;;
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    26
 
135a139,143
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    27
 
> if [ -n "$FONT" ]; then
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    28
 
>   ARGS["${#ARGS[@]}"]="-fn"
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    29
 
>   ARGS["${#ARGS[@]}"]="$FONT"
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    30
 
> fi
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    31
 
>
41647
5e70526a1947 adhoc patches relative to ProofGeneral-4.1pre101216, which has setprefs working;
wenzelm
parents: 41645
diff changeset 
    32
 
diff -r ProofGeneral-4.1pre101216/isar/interface-setup.el ProofGeneral-4.1pre101216-p1/isar/interface-setup.el
5e70526a1947 adhoc patches relative to ProofGeneral-4.1pre101216, which has setprefs working;
wenzelm
parents: 41645
diff changeset 
    33
 
13a14,19
41645
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    34
 
> ;; Tool bar
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    35
 
> ;;
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    36
 
>
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    37
 
> (if (and window-system (fboundp 'tool-bar-mode)) (tool-bar-mode t))
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    38
 
>
0e6e253ac82c some adhoc patches for ProofGeneral-4.1pre110112;
wenzelm
parents:
diff changeset 
    39
 
> ;;
isabelle