diff options
| author | Alasdair Armstrong | 2018-05-11 17:23:36 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-11 17:23:36 +0100 |
| commit | 13848ba495e79fcc6efe10cf7d98f68fa9453f29 (patch) | |
| tree | d7e17a77552463afe9ca004b8e99156db2a5ef6a /manual.pdf | |
| parent | 10a6951c565c5da74ca5ff771ddc78b091601abb (diff) | |
Add link to Thomas's Sail/Isabelle documentation in manual
Replace the old manual with new version in repository root
Diffstat (limited to 'manual.pdf')
| -rw-r--r-- | manual.pdf | bin | 939243 -> 403769 bytes |
1 files changed, 0 insertions, 0 deletions
| Binary files differ |