Check-in [b1dff5705c]

Not logged in

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

Overview
Comment:Added an exposed predicate for checking proofs (just checking, no elaboration).
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:b1dff5705c938bb34093ea74fe0e1e0921fc6eec
User & Date: andy 2015-04-18 18:45:52
Context
2015-04-18
18:46
Fixed tests to support the new definition of atoms (can be constructed from numbers). check-in: 51ec69316b user: andy tags: trunk
18:45
Added an exposed predicate for checking proofs (just checking, no elaboration). check-in: b1dff5705c user: andy tags: trunk
18:45
Fixed a bug in the checker, context was not being initialized to [] which made goals succeed once and then enter an infinite loop. check-in: f931058aa9 user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to apps/passist/passist.pl.