diff options
| author | Alasdair Armstrong | 2018-05-11 18:52:17 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-11 18:52:17 +0100 |
| commit | 8429ef315cd1c58505863ee82cc1411635ca7162 (patch) | |
| tree | 7e64b14b80b288d78304ecfae0f9185029d8218f /snapshots/isabelle | |
| parent | 29a98ea4f127f921b0b4abf800311fde325d06a7 (diff) | |
Fix last few links in README.md
Diffstat (limited to 'snapshots/isabelle')
0 files changed, 0 insertions, 0 deletions