diff options
| author | Makarius Wenzel | 2000-08-29 18:18:35 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-08-29 18:18:35 +0000 |
| commit | 5cd52d24518af9ae7fca90b21ea13905dbe0e407 (patch) | |
| tree | fd4636cbba2639755ba6680d7c19bf94e2bea219 | |
| parent | dd9e157f993715a23bb2f0262056489918485dc8 (diff) | |
syntax: "?" made word char;
| -rw-r--r-- | isar/isar-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index ec038128..86f02f20 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -27,6 +27,7 @@ (modify-syntax-entry ?. "w") (modify-syntax-entry ?_ "w") (modify-syntax-entry ?\' "w") + (modify-syntax-entry ?? "w") (modify-syntax-entry ?\* ". 23") (modify-syntax-entry ?\( "()1") (modify-syntax-entry ?\) ")(4") |