diff options
| author | Thomas Bauereiss | 2018-05-11 19:02:51 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-11 19:04:38 +0100 |
| commit | 7bda99ec25b8866ebd56487f49bce66a37c69a8d (patch) | |
| tree | a1e51d1beb78b70f6029cbd0a1908269691e393b /src | |
| parent | 492d9cf0dff031f6a0cad9dcc4815f1d113579c7 (diff) | |
Add links in Isabelle snapshot README
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions