GNU emacs frontend to the SaT project

Xavier Maillard b347c6f265 Introduce sententia-mode as a derived lui-mode 10 months ago
features 02ee9d6074 Introducing TDD/BDD 10 months ago
test 02ee9d6074 Introducing TDD/BDD 10 months ago
.gitignore 9e240f4cbe initial commit 11 months ago
Cask 02ee9d6074 Introducing TDD/BDD 10 months ago
LICENSE 9e240f4cbe initial commit 11 months ago
Makefile 02ee9d6074 Introducing TDD/BDD 10 months ago
README.md 0eca45ccd6 How to contribute to sententia ? 10 months ago
sententia.el b347c6f265 Introduce sententia-mode as a derived lui-mode 10 months ago

README.md

sententia

GNU emacs frontend to the SaT project

Contribution

Sententia is tested using ecukes. If you want to contribute code, please provide us with test cases covering your contribution.