why3/share/whyitp at master - why3

ada/why3

mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00

Files

Johannes Kanig c4c4459303 Revert "Revert "Q927-025 Merging branch 'lri-itp' into Adacore master""

This reverts commit c99f44300c.

2017-09-28 16:50:54 +09:00

README

Revert "Revert "Q927-025 Merging branch 'lri-itp' into Adacore master""

2017-09-28 16:50:54 +09:00

whyitp.el

Revert "Revert "Q927-025 Merging branch 'lri-itp' into Adacore master""

2017-09-28 16:50:54 +09:00

README

To use Proof General with Why3ITP add the following lines in your
.emacs after the line loading proof-general itself.

(autoload 'whyitp-mode "(MY_PATH_TO_WHY3)/share/whyitp/whyitp.el" "Major mode for Why3 ITP." t)
(setq auto-mode-alist (cons '("\\.whyitp" . whyitp-mode) auto-mode-alist))