Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵ | Rustan Leino | 2013-03-05 |
| | | | | Codeplex repositories. | ||
* | Chalice: Modified sbt.bat s.t. JAVA_OPTS are forwarded to the JVM. | mschwerhoff | 2011-09-15 |
| | |||
* | Chalice: Add sbt to the repository. | stefanheule | 2011-08-02 |