CHANGES.md · 9cca3e35d608d7fcc0d2ad0d7e5d8d52a57f03af · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

4 years ago
9cca3e35
[cleanup] Added mode flag to `Icoq.start`. · 9cca3e35
Shachar Itzhaky authored 4 years ago
```
For batch compilation, compile with `Stm.VoDoc` type.
Terminate worker after batch finishes up.
```
9cca3e35

History
[cleanup] Added mode flag to `Icoq.start`.
Shachar Itzhaky authored 4 years ago
```
For batch compilation, compile with `Stm.VoDoc` type.
Terminate worker after batch finishes up.
```