guides/users/emacs-org.el · d599f7411fd913d46e2a61aec610bfc5bd54a0fa · verimag / synchrone / sasa · GitLab

Skip to content

GitLab

Explore

Sign in

sasa
guides
users
emacs-org.el

Blame Permalink

Jul 03, 2019
d599f741
New: Add a --gen-lustre-oracle-skeleton (-glos) option that generated a Lustre oracle skeleton · d599f741
erwan authored Jul 03, 2019
```
Add use it to add an oracle to the BFS
```
d599f741
New: Add a --gen-lustre-oracle-skeleton (-glos) option that generated a Lustre oracle skeleton
erwan authored Jul 03, 2019
```
Add use it to add an oracle to the BFS
```

Loading