diff options
| author | stuebinm | 2022-01-23 16:00:01 +0100 |
|---|---|---|
| committer | stuebinm | 2022-01-23 16:00:01 +0100 |
| commit | 2c9c4425903fdd168ba6cfbc3e9e5df35a111682 (patch) | |
| tree | fa24899ba872f5ea8b690dc5a7398b343198e617 /.gitignore | |
| parent | 33e52e07bad4adde3b9e0478b26e3a48d359b617 (diff) | |
bump isabelle to 2021-1
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions