ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/share/emacs
History
Guillaume Melquiond eb2535cfdb Explain to Emacs how Why3 locate errors. 
This fixes expectations 1 and 2 of issue #706. Expectation 3 (accented
characters) is still broken. This puts Emacs on par with Why3's IDE.
2022-10-28 17:22:04 +02:00
..
why3.el
Explain to Emacs how Why3 locate errors.
2022-10-28 17:22:04 +02:00