Check-in [0784891462]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added jsonterm module, eventually to replace term_to_json (which is terrible).
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:0784891462e2b9a725f33fa7d346552422f789c9
User & Date: andy 2015-04-22 20:50:33
Context
2015-04-22
20:50
Presentation work. check-in: 1275718981 user: andy tags: trunk
20:50
Added jsonterm module, eventually to replace term_to_json (which is terrible). check-in: 0784891462 user: andy tags: trunk
20:50
Commented out tentative section of universal/existential quantification. check-in: c98b0d6d4e user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Added plsrc/jsonterm.pl.