Check-in [52b0f899a0]

Not logged in

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

Overview
Comment:Fixed everything else to work with the new goal/clausal expansion.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | bc-subst | working
Files: files | file ages | folders
SHA1:52b0f899a0525c7a30b54279701f218fe9429026
User & Date: andy 2015-04-21 15:47:54
Context
2015-04-21
16:25
Added proof demo example. check-in: 018383954d user: andy tags: bc-subst
15:47
Fixed everything else to work with the new goal/clausal expansion. check-in: 52b0f899a0 user: andy tags: bc-subst, working
15:47
Fixed module imports to avoid a (meaningless) warning. check-in: 8ad421112c user: andy tags: bc-subst
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to plsrc/checker.pl.

Changes to plsrc/program.pl.