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