| author | wneuper <Walther.Neuper@jku.at> |
| Sun, 09 Oct 2022 09:01:29 +0200 | |
| changeset 60566 | 04f8699d2c9d |
| parent 60215 | e7ef883d6bdc |
| permissions | -rw-r--r-- |
| wenzelm@49382 | 1 |
(* :mode=isabelle-options: *) |
| wenzelm@49382 | 2 |
|
| wenzelm@60215 | 3 |
section "ISAC" |
| wenzelm@50285 | 4 |
|
| wenzelm@60215 | 5 |
public option isac_test : bool = false |
| wenzelm@60215 | 6 |
-- "ISAC test mode (for ML)" |