README.md « simple-tests « ci - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/ci/simple-tests/README.md

blob: 618a9f3f2ed8b2aed16ac22fc77f67c7c6347a0b (plain)

1 2	`This directory contains a number of more simple tests, that can all run in the same directory.`