Skip to main content

Browse the archive

Revision 95b5ca779f708feca4391e6f86f59f4b0151cbfc authored by François Dupressoir on 01 December 2015, 09:49:35 UTC, committed by Pierre-Yves Strub on 01 December 2015, 10:26:27 UTC 
Adding info to Vagrantfile on how to set emacs up.
1 parent 2044e32
Raw File
tests.config 
[default]
bin = ./ec.native

[test-prelude]
args   = -boot
okdirs = theories/prelude

[test-stdlib]
okdirs  = !theories
exclude = theories/prelude

[test-examples]
okdirs = examples
back to top