Check-in [87058bb2cc]
Not logged in

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
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
Show Unified Diffs Show Side-by-Side Diffs Patch

Changes to Project.org.