Summary
- added -d option to Mirabelle
The file was modified | src/HOL/Mirabelle/lib/Tools/mirabelle (diff) |
The file was modified | src/HOL/Mirabelle/lib/scripts/mirabelle.pl (diff) |
The file was modified | src/HOL/Mirabelle/lib/Tools/mirabelle (diff) |
The file was modified | src/HOL/Mirabelle/lib/scripts/mirabelle.pl (diff) |