build.sbt · f24a06db48476928a46e2c22f1b6617030da4ac3 · 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.
```