diff options
| author | Thomas Bauereiss | 2018-03-23 14:19:13 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-23 16:18:40 +0000 |
| commit | df43534680d713c4671f3d24fb4713b1fbbcfb74 (patch) | |
| tree | f1e384e0764132c89885f2bfa9bfa50e6d938f5c /Makefile | |
| parent | 541a95d81e05afdfdadb34ad76da850c212535ec (diff) | |
Fix indentation of loops in generated Isabelle
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions