diff options
| author | Thomas Bauereiss | 2019-01-21 19:53:59 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-21 20:07:20 +0000 |
| commit | aeb0f82f67ff829cd7a4b57c638b44a07d39ba3b (patch) | |
| tree | 291bb39f4fdfc79986af7b389a51a9f64c62e36d /src/constant_fold.ml | |
| parent | 2d2774282688e337866979b619640d4323adad50 (diff) | |
Don't require manual set up of Isabelle session directories
Since Isabelle 2018, specifying the same directory both on the command
line and persistently in the user's ROOTS file is allowed, so we don't
have to choose between one or the other any more.
Diffstat (limited to 'src/constant_fold.ml')
0 files changed, 0 insertions, 0 deletions