Check-in [afb3b37674]

Not logged in

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

Overview
Comment:Fixed a bug in case analysis of atomic goals.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:afb3b37674cd0a42c8c74b85e62c9d71d8651bb2
User & Date: andy 2015-04-15 19:42:19
Context
2015-04-15
19:43
Fixed a couple bugs in the handling of non-string atoms (coerce to string). check-in: 808229ea10 user: andy tags: trunk
19:42
Fixed a bug in case analysis of atomic goals. check-in: afb3b37674 user: andy tags: trunk
14:32
Fixed module declarations/imports for the new argument pattern for `elaborate`. check-in: 207908bad1 user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to plsrc/checker.pl.