diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 15:10:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 15:10:31 +0000 |
| commit | 1ad1257747b9f22c6a3b1763da17e7dd9724d12f (patch) | |
| tree | f1f07da5169399b5e3b2bd48543292493e859ed1 /isar/isar-syntax.el | |
| parent | 806464ac12d0d0ba594f092dfa3e05ab2d0b56ac (diff) | |
font-lock-function-face -> font-lock-function-name-face
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 29342b28..8316828d 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -125,9 +125,9 @@ (cons (concat "\351" isar-id "\350") 'proof-declaration-name-face) ; class (cons (concat "\352'" isar-id "\350") 'proof-tacticals-name-face) ; tfree (cons (concat "\353\\?'" isar-idx "\350") 'font-lock-type-face) ; tvar - (cons (concat "\354" isar-id "\350") 'font-lock-function-face) ; free + (cons (concat "\354" isar-id "\350") 'font-lock-keyword-face) ; free (cons (concat "\355" isar-id "\350") 'font-lock-keyword-face) ; bound - (cons (concat "\356" isar-idx "\350") 'font-lock-function-face) ; var + (cons (concat "\356" isar-idx "\350") 'font-lock-function-name-face) ; var ) "*Font-lock table for Isabelle terms.") |