Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | initial empty check-in |
---|---|
Downloads: | Tarball | ZIP archive |
Timelines: | family | descendants | trunk |
Files: | files | file ages | folders |
SHA3-256: |
6a1458dc7160ffa9259606659323e74a |
User & Date: | sehqlr 2017-11-10 18:28:02.738 |
Context
2017-11-10
| ||
18:32 | Add org file, and work from Idris book check-in: 05a19c2cc0 user: sehqlr tags: trunk | |
18:28 | initial empty check-in check-in: 6a1458dc71 user: sehqlr tags: trunk | |
Changes