diff leim/MISC-DIC/ziranma.cin @ 51941:9bf93e387b5e

(syntax-ppss-flush-cache): Rename from syntax-ppss-after-change-function. (syntax-ppss-after-change-function): New alias. Update uses.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 16 Jul 2003 15:17:02 +0000
parents e4222f28447b
children dbe9551cf498
line wrap: on
line diff