diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2015-03-11 15:21:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2015-03-11 15:21:31 +0000 |
| commit | dd4a069c08eed47eaa825200e07e0a8adb055c45 (patch) | |
| tree | e6f4ab7a45ba942b5f0b5f5351e8af7b43b0fb5a /generic | |
| parent | 8911d03e7e7b884e550d50525fdf0f3d80050afe (diff) | |
Summary: Build in default path for Isabelle2014 Mac package
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions