diff options
| author | David Aspinall | 1999-11-10 11:23:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-10 11:23:36 +0000 |
| commit | cfd0e2a4dbfd4665f6d2ec3d1b20083e298dfe6c (patch) | |
| tree | 67aa17ce7ec3c1565320847c1cf1dc974ad3035c /html/functions.php3 | |
| parent | 07f579c1f99d814f7ea5b33a6e0dab0b43ca0b7f (diff) | |
Moved proof-file-truename, proof-file-to-buffer, to proof.el
Made setting font-lock-always-fontify-immediately be buffer local
in proof scripts (it's an ugly hack for comma-defontification).
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions