Jennisys/Jennisys/README.txt


1
2
3
4
5

1. Installation instructions
----------------------------

  - create c:\tmp folder
  - copy the Jennisys\scripts\StartDafny-jen.bat script into c:\tmp