# Tuareg-mode doesn't really work for mlg file

**URL:** <https://discourse.rocq-prover.org/t/tuareg-mode-doesnt-really-work-for-mlg-file/2885>\
**Category:** Developing plugins\
**Created:** [December 18, 2025, 7:46pm UTC](https://discourse.rocq-prover.org/t/tuareg-mode-doesnt-really-work-for-mlg-file/2885 "2025-12-18T19:46:48Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![HuStmpHrrr](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/hustmphrrr/32/42_2.png) [@HuStmpHrrr](https://discourse.rocq-prover.org/u/HuStmpHrrr)\
**Post date:** [December 18, 2025, 7:46pm UTC](https://discourse.rocq-prover.org/t/tuareg-mode-doesnt-really-work-for-mlg-file/2885/1 "2025-12-18T19:46:48Z")

</div>

the tutorial says to use tuareg mode for mlg files: [rocq/doc/plugin\_tutorial at master · rocq-prover/rocq · GitHub](https://github.com/rocq-prover/rocq/tree/master/doc/plugin_tutorial)

However, in the same tutorial, when I open [rocq/doc/plugin\_tutorial/tuto1/src/g\_tuto1.mlg at master · rocq-prover/rocq · GitHub](https://github.com/rocq-prover/rocq/blob/master/doc/plugin_tutorial/tuto1/src/g_tuto1.mlg), my emacs highlights `DECLARE`, and make the whole file unreadable.

How did you set things up?

 ![image](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/3/35519c5d3bd89bcffe24fbd8121942fdce9b3ee5.png)

---

<div class="post-metadata">

**Author:** ![SkySkimmer](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/skyskimmer/32/369_2.png) [@SkySkimmer](https://discourse.rocq-prover.org/u/SkySkimmer)\
**Post date:** [December 20, 2025, 1:47pm UTC](https://discourse.rocq-prover.org/t/tuareg-mode-doesnt-really-work-for-mlg-file/2885/2 "2025-12-20T13:47:55Z")

</div>

IDK, it just works for me and I don’t think I did anything special for it [.emacs.d/config.org at master · SkySkimmer/.emacs.d · GitHub](https://github.com/SkySkimmer/.emacs.d/blob/master/config.org#ocaml)

 ![emacs](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/5b2a9dcdf1257d8d93dead136961bd8bde3d7916.png)