Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| SHA3-256: | 87058bb2ccd0ec80d1d09f123aec8fe3f00c4c53cfe21bb5fe68afa960ac9bd4 |
|---|---|
| Date: | 2017-12-05 17:19:00 |
| User: | sehqlr |
| Comment: | more changes to org file |
Tags And Properties
- branch=trunk inherited from [6a1458dc71]
- sym-trunk inherited from [6a1458dc71]
Context
|
2017-12-17
| ||
| 21:56 | [06ec941e60] Delete Idris source, add Literate Programming document (user: sehqlr, tags: trunk) | |
|
2017-12-05
| ||
| 17:19 | [87058bb2cc] more changes to org file (user: sehqlr, tags: trunk) | |
|
2017-11-14
| ||
| 23:09 | [4288c65de8] Wrote out more of the decription of the app (user: sehqlr, tags: trunk) | |
Changes
Changes to Project.org.