Thanks, but still no clue. All I know is that something is wrong here since syntax-ppss-flush-cache should have been adviced at this point.
Could it be that the wrong files are loaded? What is the value of nxhtml-install-dir? Do
F1 v nxhtml-install-dir
Thanks, but still no clue. All I know is that something is wrong here since syntax- ppss-flush- cache should have been adviced at this point.
Could it be that the wrong files are loaded? What is the value of nxhtml-install-dir? Do
F1 v nxhtml-install-dir