build.sbt · e78975078daee6e0b3560242a57cb5e441aee48e · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
e7897507
bump libisabelle version for improved Windows compatibility · e7897507
Lars Hupel authored 9 years ago
```
The test target `isabelle:test` now executes cleanly on Windows,
including bootstrapping.
```
e7897507

History
bump libisabelle version for improved Windows compatibility
Lars Hupel authored 9 years ago
```
The test target `isabelle:test` now executes cleanly on Windows,
including bootstrapping.
```

build.sbt 4.86 KiB